Machine-Checking the Timed Interval Calculus.

Jeremy E. Dawson Rajeev Goré

Published in: Australian Joint Conference on Artificial Intelligence (2002)

Keyphrases

timed automata
model checking
type checking
batch processing
petri net
real numbers
website
knowledge representation
formal language
discrete event
type fuzzy logic systems
sequent calculus
verification method
interval data
information retrieval
flowshop
bayesian networks
database systems
artificial intelligence