Login / Signup
Awareness and Control in Adaptable Transition Systems.
Roberto Bruni
Andrea Corradini
Fabio Gadducci
Alberto Lluch-Lafuente
Andrea Vandin
Published in:
PNSE @ Petri Nets (2015)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
control flow
artificial intelligence