Login / Signup
Timed Automata with Integer Resets: Language Inclusion and Expressiveness.
P. Vijay Suman
Paritosh K. Pandya
Shankara Narayanan Krishna
Lakshmi Manasa
Published in:
FORMATS (2008)
Keyphrases
</>
timed automata
reachability analysis
expressive power
language learning
model checking
programming language
language processing
highly expressive
natural language
theorem prover
first order logic
general purpose
information systems
genetic algorithm
database systems
theorem proving
target language
case study