Minimum Attention Controller Synthesis for Omega-regular Objectives

Chatterjee, Krishnendu and Majumdar, Rupak
(2011) Minimum Attention Controller Synthesis for Omega-regular Objectives.
In: Proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'11).
Conference: None | Not Set

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item