MightyL: A Compositional Translation from MITL to Timed Automata.
Thomas BrihayeGilles GeeraertsHsi-Ming HoBenjamin MonmegePublished in: CAV (1) (2017)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- machine translation
- first order logic
- theorem proving
- query translation
- neural network
- rotation and translation
- information systems
- low cost
- software engineering
- dynamic programming
- cross language information retrieval
- decision trees
- machine translation system
- website
- genetic algorithm
- metadata