Login / Signup
Reachability in timed automata.
B. Srivathsan
Published in:
ACM SIGLOG News (2022)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
theorem proving
state space
first order logic
transitive closure
real time systems
temporal logic
high level
data mining
bayesian networks
expressive power