Author of the publication

A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control.

, , , , and . NFM, volume 9690 of Lecture Notes in Computer Science, page 388-394. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

POND-hindsight: Applying hindsight optimization to POMDPs, and . The International Planning Competition, (2011)Covering Landmark Interactions for Semantically Diverse Plans., and . AAAI (Late-Breaking Developments), volume WS-13-17 of AAAI Technical Report, AAAI, (2013)Cost Sensitive Reachability Heuristics for Handling State Uncertainty, and . CoRR, (2012)A Conceptual Basis for Graphics-Based Data Management., and . FODO, page 457-470. Plemum Press, New York, (1985)An Architecture for Hybrid Planning and Execution., , , , and . AAAI Workshop: Planning for Hybrid Systems, volume WS-16-12 of AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.A Happening-Based Encoding for Nonlinear PDDL+ Planning.. AAAI Workshop: Planning for Hybrid Systems, volume WS-16-12 of AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.HACKAR: Helpful Advice for Code Knowledge and Attack Resilience., , , , , and . AAAI, page 3987-3992. AAAI Press, (2015)Sequential Monte Carlo in Probabilistic Planning Reachability Heuristics., , and . ICAPS, page 233-242. AAAI, (2006)Sequential Monte Carlo in reachability heuristics for probabilistic planning., , and . Artif. Intell., 172 (6-7): 685-715 (2008)Maintaining Evolving Domain Models., , and . IJCAI, page 3053-3059. IJCAI/AAAI Press, (2016)