Planning for Hybrid Systems via Satisfiability Modulo Theories

DOI10.1613/jair.1.11751zbMath1434.68545OpenAlexW2972757548MaRDI QIDQ5109894

Michael Cashmore, Daniele Magazzeni, Parisa Zehtabi

Publication date: 14 May 2020

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.1.11751

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (3)

Risk-aware shielding of partially observable Monte Carlo planning policies ⋮ Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description) ⋮ A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning

This page was built for publication: Planning for Hybrid Systems via Satisfiability Modulo Theories