Timed P Automata.
Roberto BarbutiAndrea Maggiolo-SchettiniPaolo MilazzoLuca TeseiPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- timed automata
- finite state machines
- model checking
- petri net
- theorem prover
- cellular automata
- finite automata
- finite state
- regular expressions
- probabilistic automata
- first order logic
- discrete event
- social networks
- tree automata
- state space
- temporal logic
- data structure
- theorem proving
- computer vision
- data sets
- natural language
- search algorithm
- multi agent
- web services
- finite state automata
- artificial intelligence