Timed Automata with non-Instantaneous Actions.
Roberto BarbutiNicoletta De FrancescoLuca TeseiPublished in: Fundam. Informaticae (2001)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- reasoning about actions
- first order logic
- theorem proving
- situation calculus
- real time systems
- human actions
- database
- temporal logic
- image sequences
- case study
- action selection
- information systems
- initial state
- artificial intelligence
- genetic algorithm
- neural network