Timed P Automata.
Roberto BarbutiAndrea Maggiolo-SchettiniPaolo MilazzoLuca TeseiPublished in: Fundam. Informaticae (2009)
Keyphrases
- timed automata
- finite state machines
- model checking
- petri net
- finite automata
- regular expressions
- theorem prover
- cellular automata
- first order logic
- probabilistic automata
- tree automata
- discrete event
- finite state
- theorem proving
- bayesian networks
- database systems
- finite state automata
- evolutionary algorithm
- grammatical inference
- artificial intelligence
- neural network
- databases
- data sets