Strong Controllability of Disjunctive Temporal Problems with Uncertainty

DOI10.1007/978-3-540-74970-7_64MaRDI QIDQ3523093zbMATH OpenOpenAlexFDO

Authors Bart Peintner, Kristen Brent Venable, Neil Yorke-Smith

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)

Recommendations

• An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
• Dynamic controllability of controllable conditional temporal problems with uncertainty
• Solving strong controllability of temporal problems with uncertainty using SMT
• Principles and Practice of Constraint Programming – CP 2004
• Handling contingency in temporal constraint networks: from consistency to controllabilities

Cited in

(9)

• scientific article; zbMATH DE number 5547866 (Why is no real title available?)
• Dynamic controllability via timed game automata
• Dynamic controllability of controllable conditional temporal problems with uncertainty
• Principles and Practice of Constraint Programming – CP 2004
• Strong temporal planning with uncontrollable durations
• Algorithms and complexity of difference logic
• An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3523093)