Strong Controllability of Disjunctive Temporal Problems with Uncertainty

DOI10.1007/978-3-540-74970-7_64zbMath1145.68528OpenAlexW2136212964MaRDI QIDQ3523093

Bart Peintner, Neil Yorke-Smith, Kristen Brent Venable

Publication date: 2 September 2008

Published in: Principles and Practice of Constraint Programming – CP 2007 (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.1512

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (5)

Dynamic controllability via timed game automata ⋮ An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty ⋮ Strong temporal planning with uncontrollable durations ⋮ Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty ⋮ Solving strong controllability of temporal problems with uncertainty using SMT

This page was built for publication: Strong Controllability of Disjunctive Temporal Problems with Uncertainty