Massimo Cairo, Luke Hunsberger, Romeo Rizzi. Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty. In Natasha Alechina, Kjetil Nørvåg, Wojciech Penczek, editors, 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018. Volume 120 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.