Timed Automata and Timed Languages Challenges and Open Problems.
Eugene AsarinPublished in: FORMATS (2003)
Keyphrases
- timed automata
- open problems
- model checking
- computational advertising
- reachability analysis
- database theory
- long standing
- theorem prover
- first order logic
- theorem proving
- lessons learned
- expressive power
- real time systems
- multidatabase transaction management
- temporal logic
- inference rules
- text summarization
- language independent
- machine learning
- real world
- databases
- dynamic programming