Timed Cooperating Automata.
Ruggero LanotteAndrea Maggiolo-SchettiniAdriano PeronPublished in: Fundam. Informaticae (2000)
Keyphrases
- timed automata
- finite state machines
- model checking
- petri net
- cooperative
- cellular automata
- finite state
- finite automata
- theorem prover
- regular expressions
- databases
- lattice gas
- first order logic
- data sets
- database systems
- metadata
- tree automata
- probabilistic automata
- formal language theory
- probabilistic model
- reinforcement learning
- theorem proving
- multimedia
- image processing
- computer vision