Product Interval Automata: A Subclass of Timed Automata.

Deepak D'Souza P. S. Thiagarajan

Published in: FSTTCS (1999)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
life cycle
np complete
cellular automata
temporal logic
inference rules
data sets
finite state machines
product design
product quality
product line
machine learning