FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Towards Combination of Logic and Calculus for Near-Optimal Planning in Relational Hybrid Systems

Author: Mikhail Soutchanski

Paper Information

Title:Towards Combination of Logic and Calculus for Near-Optimal Planning in Relational Hybrid Systems
Authors:Mikhail Soutchanski
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:situation calculus, hybrid systems, ordinary differential equations, automated numerical planning and scheduling, constraint logic programming
Pages:1
Talk:Jul 31 10:10 (Session 5)
Paper: