Games for Efficient Supervisor Synthesis
Paper i proceeding, 2023
Supervisory control
Discrete event systems
Game theory
Författare
Prabhat Kumar Jha
Chalmers, Data- och informationsteknik, Formella metoder
Daniel Hausmann
Chalmers, Data- och informationsteknik, Formella metoder
Nir Piterman
Chalmers, Data- och informationsteknik, Formella metoder
Proceedings of the IEEE Conference on Decision and Control
07431546 (ISSN) 25762370 (eISSN)
Vol. 62 7228-7233Singapore, ,
Styrkeområden
Informations- och kommunikationsteknik
Fundament
Grundläggande vetenskaper
Ämneskategorier
Reglerteknik
Datavetenskap (datalogi)