| No. |
Title |
Author |
Year |
| 1 |
Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract) |
Hunsberger, Luke et al. |
2023 |
| 2 |
Front Matter, Table of Contents, Preface, Conference Organization |
Artikis, Alexander et al. |
2023 |
| 3 |
LIPIcs, Volume 278, TIME 2023, Complete Volume |
Artikis, Alexander et al. |
2023 |
| 4 |
Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk) |
Hunsberger, Luke et al. |
2021 |
| 5 |
Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty |
Cairo, Massimo et al. |
2018 |
| 6 |
Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking |
Hunsberger, Luke et al. |
2018 |
| 7 |
Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty |
Hunsberger, Luke et al. |
2018 |
| 8 |
A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results |
Cairo, Massimo et al. |
2017 |
| 9 |
Incorporating Decision Nodes into Conditional Simple Temporal Networks |
Cairo, Massimo et al. |
2017 |
