Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking

Luke Hunsberger, Roberto Posenato. Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking. 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]

Authors

Luke Hunsberger

This author has not been identified. Look up 'Luke Hunsberger' in Google

Roberto Posenato

This author has not been identified. Look up 'Roberto Posenato' in Google