Pumping Lemmas for Timed Automata.

Danièle Beauquier

Published in: FoSSaCS (1998)

Keyphrases

timed automata
theorem prover
theorem proving
reachability analysis
first order logic
inference rules
model checking
automated theorem proving
proof search
neural network
relational databases
proof procedure
object oriented
evolutionary algorithm
bayesian networks
genetic algorithm
machine learning