Abstraction-Refinement Based Optimal Control with Regular Objectives
From MaRDI portal
Publication:6260760
arXiv1504.02838MaRDI QIDQ6260760
Pavithra Prabhakar, Yoke Peng Leong
Publication date: 11 April 2015
This page was built for publication: Abstraction-Refinement Based Optimal Control with Regular Objectives