The complexity of interacting automata

Olivier Gossner; Penélope Hernández; Ron Peretz

doi:10.1007/s00182-015-0521-7

The complexity of interacting automata

International Journal of Game Theory ◽

10.1007/s00182-015-0521-7 ◽

2015 ◽

Vol 45 (1-2) ◽

pp. 461-496 ◽

Cited By ~ 1

Author(s):

Olivier Gossner ◽

Penélope Hernández ◽

Ron Peretz

Keyword(s):

Interacting Automata

Download Full-text

Synthia: Synthesis of Interacting Automata Targeting LUT-based FPGAs

Field Programmable Logic and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-48302-1_33 ◽

1999 ◽

pp. 323-332

Author(s):

George A. Constantinides ◽

Peter Y. K. Cheung ◽

Wayne Luk

Keyword(s):

Interacting Automata

Download Full-text

Large-scale synchrony in weakly interacting automata

Physical Review E ◽

10.1103/physreve.63.051303 ◽

2001 ◽

Vol 63 (5) ◽

Cited By ~ 3

Author(s):

Eric J. Friedman ◽

A. S. Landsberg

Keyword(s):

Large Scale ◽

Weakly Interacting ◽

Interacting Automata

Download Full-text

A model for mobile code using interacting automata

IEEE Transactions on Mobile Computing ◽

10.1109/tmc.2002.1175545 ◽

2002 ◽

Vol 1 (4) ◽

pp. 313-326 ◽

Cited By ~ 6

Author(s):

R.R. Brooks ◽

N. Orr

Keyword(s):

Mobile Code ◽

Interacting Automata

Download Full-text

Harmonization of Interacting Automata

Cybernetics and Systems Analysis ◽

10.1007/s10559-015-9759-0 ◽

2015 ◽

Vol 51 (5) ◽

pp. 676-686 ◽

Cited By ~ 4

Author(s):

A. N. Chebotarev

Keyword(s):

Interacting Automata

Download Full-text

Momba: JANI Meets Python

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-72013-1_23 ◽

2021 ◽

pp. 389-398

Author(s):

Maximilian A. Köhl ◽

Michaela Klauck ◽

Holger Hermanns

Keyword(s):

Model Checking ◽

Real Time ◽

Programming Language ◽

Quantitative Model ◽

General Purpose ◽

Ease Of Use ◽

Formal Models ◽

Interchange Format ◽

Model Interchange ◽

Interacting Automata

AbstractJANI-model [6] is a model interchange format for networks of interacting automata. It is well-entrenched in the quantitative model checking community and allows modeling a variety of systems involving concurrency, probabilistic and real-time aspects, as well as continuous dynamics. Python is a general purpose programming language preferred by many for its ease of use and vast ecosystem. In this paper, we present Momba, a flexible Python framework for dealing with formal models centered around the JANI-model format and formalism. Momba strives to deliver an integrated and intuitive experience for experimenting with formal models making them accessible to a broader audience. To this end, it provides a pythonic interface for model construction, validation, and analysis. Here, we demonstrate these capabilities.

Download Full-text