Compilation of the ELECTRE Reactive Language into Finite Transition Systems.

Franck Cassez Olivier F. Roux

Published in: Theor. Comput. Sci. (1995)

Keyphrases

transition systems
reactive systems
concurrent systems
model checking
temporal logic
finite state
programming language
artificial intelligence
model checker
practical reasoning
control flow
multi agent
domain specific
language processing