On the optimal reachability problem of weighted timed automata.
Patricia BouyerThomas BrihayeVéronique BruyèreJean-François RaskinPublished in: Formal Methods Syst. Des. (2007)
Keyphrases
- timed automata
- model checking
- knowledge representation
- reachability analysis
- optimal design
- worst case
- optimal solution
- artificial neural networks
- mobile robot
- real world
- clustering algorithm
- feature selection
- theorem prover
- theorem proving
- information systems
- finding optimal
- artificial intelligence
- information retrieval