Abstraction-Refinement Based Optimal Control with Regular Objectives

From MaRDI portal
Abstraction-Refinement Based Optimal Control with Regular Objectives (scientific article from arXiv)
















This page was built for publication: Abstraction-Refinement Based Optimal Control with Regular Objectives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7082506)