Transformations of Timed Cooperating Automata.

Ruggero Lanotte Andrea Maggiolo-Schettini Simone Tini Adriano Peron

Published in: Fundam. Informaticae (2001)

Keyphrases

timed automata
finite state machines
petri net
model checking
finite automata
cooperative
cellular automata
finite state
machine learning
case study
preserving transformations
probabilistic automata
finite state automata
turing machine
tree automata
theorem prover
decision trees
decision making