FAST: Fast Acceleration of Symbolikc Transition Systems.

Sébastien Bardin Alain Finkel Jérôme Leroux Laure Petrucci

Published in: CAV (2003)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
learning algorithm
artificial intelligence
multi agent systems
distributed systems