Modeling Predicate Abstraction of Timed Automata in PVS.
Xia YinQingguo XuKunliang HanPublished in: iThings/CPSCom (2011)
Keyphrases
- timed automata
- model checking
- first order logic
- reachability analysis
- theorem prover
- theorem proving
- temporal logic
- machine learning
- formal verification
- learning algorithm
- real time systems
- information systems
- multiscale
- modeling language
- data sets
- high level
- decision making
- computer vision
- information retrieval
- real world
- neural network