Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications

Citation:
Hussien, O., and P. Tabuada, "Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications", 2018 IEEE Conference on Decision and Control (CDC): IEEE, pp. 3567–3572, 2018.

Abstract:

n/a

Notes:

n/a

Tourism