Integer Reset Timed Automata: Clock Reduction and Determinizability

Lakshmi Manasa Shankara Narayanan Krishna

Published in: CoRR (2010)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
high speed
temporal logic
power consumption
first order logic
theorem proving
neural network
reduction method
knowledge representation
search algorithm
floating point
real time systems
data structure
reinforcement learning