VIVO
Index
Log in
Search form
Home
People
Organizations
Research
Events
Capability Map
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation
Conference Paper
http://dx.doi.org/10.1109/time.2014.21
Overview
Identity
View All
Overview
authors
Cimatti, Alessandro
Hunsberger, Luke
Micheli, Andrea
Posenato, Roberto
Roveri, Marco
publication date
January 1, 2014
Identity
International Standard Book Number (ISBN) 13
978-1-4799-4227-5
978-1-4799-4228-2