TIC: A TImed Calculus.

Juan Quemada David de Frutos-Escrig Arturo Azcorra

Published in: Formal Aspects Comput. (1993)

Keyphrases

timed automata
model checking
petri net
theorem prover
theorem proving
first order logic
algebraic structure
knowledge representation
databases
website
expressive power
decision making
computer vision
finite state machines
discrete event
genetic algorithm
information retrieval