Synthesis of Open Reactive Systems from Scenario-Based Specifications.

Yves Bontemps Pierre-Yves Schobbens

Published in: ACSD (2003)

Keyphrases

reactive systems
temporal logic
model checking
control flow
information flow
petri net
formal methods
transition systems
artificial intelligence
real world
decision making
low cost
knowledge management
knowledge based systems
error rate