PDDL+: Modelling Continuous Time-dependent Effects

Cached

Download Links

by Maria Fox , Derek Long
Citations:7 - 0 self

Documents Related by Co-Citation

3 Generalized semi-Markov decision processes – B T Doshi - 1979
6 A probabilistic model for uncertain problem solving – A Farley - 1983
5 Toward Decision-Theoretic CIRCA with Application to Real-Time Computer Security Control – Vu Ha, David J. Musliner - 2002
5 memoryless distributions: Model checking semi-Markov chains – Beyond
8 Anytime state-based solution methods for decision processes with non-Markovian rewards – Sylvie Thiébaux, Froduald Kabanza, John Slaney - 2002
30 Rewarding behaviors – Craig Boutilier, Adam Grove - 1996
31 Epsilon-Safe Planning – Robert P. Goldman, Mark S. Boddy - 1994
33 Verifying quantitative properties of continuous probabilistic timed automata – Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston - 2000
52 Planning with external events – J Blythe - 1994
11 Dynamic Probabilistic Systems, volume – R A Howard - 1971
19 Improving Big Plans – Neal Lesh, Nathaniel Martin, James Allen - 1998
27 Zur Theorie der Bedienungsprozesse – K Matthes - 1962
13 Weibull analysis of reliability data with few or no failures – W Nelson - 1985
67 A GSMP Formalism for Discrete Event Systems – P W Glynn - 1989
258 An Algorithm for Probabilistic Planning – Nicholas Kushmerick, Steve Hanks, Daniel Weld - 1995
123 Parametric Quantitative Temporal Reasoning – E. Allen Emerson, Richard J. Trefler
41 Faster and Symbolic CTMC Model Checking – Joost-pieter Katoen, Marta Kwiatkowska, Gethin Norman, David Parker - 2001
35 GPT: A Tool for Planning with Uncertainty and Partial Information – Blai Bonet, Héctor Geffner - 2001
65 Abstraction and approximate decision-theoretic planning – R Dearden, C Boutilier - 1997