Search Results for Dynamical systems.

Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings

Yazar

Bojańczyk, Mikołaj. editor.

http://dx.doi.org/10.1007/978-3-319-24537-9

Format:

Electronic Resources

Alıntı:

semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

Yazar

Cook, Matthew. editor.

http://dx.doi.org/10.1007/978-3-319-39300-1

Format:

Electronic Resources

Alıntı:

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Yazar

Bonsangue, Marcello M. editor.

http://dx.doi.org/10.1007/978-3-662-44124-4

Format:

Electronic Resources

Alıntı:

-- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra -- Algebraic

Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Yazar

Larsen, Kim Guldstrand. editor.

http://dx.doi.org/10.1007/978-3-319-45994-3

Format:

Electronic Resources

Alıntı:

aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between

Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

Yazar

Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699

https://doi.org/10.1007/978-3-030-20981-0

Format:

Electronic Resources

Alıntı:

Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA

Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior

Yazar

Schultz, Patrick. author.

https://doi.org/10.1007/978-3-030-00704-1

Format:

Electronic Resources

Alıntı:

Systems Theory, Control. https://scigraph.springernature.com/ontologies/product-market-codes/M13070

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Yazar

Dillig, Isil. editor.

https://doi.org/10.1007/978-3-030-25543-5

Format:

Electronic Resources

Alıntı:

System Performance and Evaluation. https://scigraph.springernature.com/ontologies/product-market

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Yazar

Chen, Yu-Fang. editor.

https://doi.org/10.1007/978-3-030-31784-3

Format:

Electronic Resources

Alıntı:

Equivariant Dynamical Systems for their Safety Verification -- Parametric Timed Model Checking for

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

Yazar

van der Hoek, Wiebe. editor.

http://dx.doi.org/10.1007/978-3-662-48561-3

Format:

Electronic Resources

Alıntı:

Systems of Dynamic Epistemic Logic -- `Transitivity' of consequence relations -- Boolean Game with

	{displayName}	{count}
{error}