Logics Meet 1-Clock Alternating Timed Automata.
Shankara Narayanan KrishnaKhushraj MadnaniParitosh K. PandyaPublished in: CONCUR (2018)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- epistemic logic
- expressive power
- modal logic
- inference rules
- theorem proving
- first order logic
- temporal logic
- coalition logic
- high speed
- genetic algorithm
- real time systems
- propositional calculus
- real time
- power consumption
- software systems
- logic programming
- natural language
- bayesian networks