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
25 Structured solution methods for non-Markovian decision processes – Fahiem Bacchus, Craig Boutilier, Adam Grove - 1997
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
75 Probabilistic Verification of Discrete Event Systems using Acceptance Sampling – Håkan L. S. Younes, H˚akan L. S. Younes, Reid G. Simmons - 2002
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
162 Planning Under Time Constraints in Stochastic Domains – Thomas Dean, Leslie Pack Kaelbling, Jak Kirman, Ann Nicholson - 1993