New Techniques for Checking Dynamic Controllability of Simple Temporal Networks with Uncertainty.
VenueBICAART
Year2014
ProceedingsICAART (Revised Selected Papers)
DBLP recordconf/icaart/Hunsberger14a ↗
Browse the full ICAART paper archive.
Browse the full ICAART paper archive.