Login / Signup
Logics Meet 2-Way 1-Clock Alternating Timed Automata.
Shankara Narayanan Krishna
Khushraj Nanik Madnani
Manuel Mazo Jr.
Paritosh K. Pandya
Published in:
CoRR (2021)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
expressive power
first order logic
modal logic
epistemic logic
temporal logic
theorem proving
inference rules
coalition logic
high speed
power consumption
real time systems
propositional calculus
logic programs
social networks
data mining
data sets