Login / Signup
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies.
Alessandro Cimatti
Andrea Micheli
Marco Roveri
Published in:
AAAI (2016)
Keyphrases
</>
dynamic networks
dynamic environments
disjunctive temporal
social networks
constraint satisfaction problems
dynamically changing
complex networks
computer networks
learning algorithm
search engine
web services
search strategies