Search Results for author:
Found 1 papers, 0 papers with code
Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems
PDDL+ planning has its semantics rooted in hybrid automata (HA) and recent work has shown that it can be modeled as a network of HAs.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
