conftrace_

pddl+ planning

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

discrete time planning (1) hybrid automata (1) plan validation (1) trajectory simulation (1) reachability analysis (1) model checking (1) automated planning (1)

Papers

PPS: An Efficient Java-based Simulator for Time-Discrete PDDL+ AAAI 2026 Explaining the Behaviour of Hybrid Systems with PDDL+ Planning IJCAI 2022