The following publications are possibly variants of this publication:
- Checking dynamic consistency of conditional hyper temporal networks via mean payoff games: Hardness and (pseudo) singly-exponential time algorithmCarlo Comin, Romeo Rizzi. iandc, 259(Part):348-374, 2018. [doi]
- Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal NetworksMassimo Cairo, Carlo Comin, Romeo Rizzi. time 2016: 80-89 [doi]
- A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff GamesCarlo Comin, Roberto Posenato, Romeo Rizzi. time 2014: 7-16 [doi]
- Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with DecisionsMatteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca ViganĂ² 0001. time 2019: [doi]
- Dynamic Controllability of Conditional Simple Temporal Networks Is PSPACE-completeMassimo Cairo, Romeo Rizzi. time 2016: 90-99 [doi]
- Faster Dynamic Controllability Checking for Simple Temporal Networks with UncertaintyMassimo Cairo, Luke Hunsberger, Romeo Rizzi. time 2018: [doi]
- Incorporating Decision Nodes into Conditional Simple Temporal NetworksMassimo Cairo, Carlo Combi, Carlo Comin, Luke Hunsberger, Roberto Posenato, Romeo Rizzi, Matteo Zavatteri. time 2017: [doi]
- A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence ResultsMassimo Cairo, Luke Hunsberger, Roberto Posenato, Romeo Rizzi. time 2017: [doi]
- Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networksMassimo Cairo, Carlo Comin, Romeo Rizzi. jlap, 113:100542, 2020. [doi]