Mode-Target Games: Reactive Synthesis for Control Applications
From MaRDI portal
Publication:4567056
DOI10.1109/TAC.2017.2722960zbMath1390.93311DBLPjournals/tac/BalkanVT18arXiv1504.07702OpenAlexW2963134121WikidataQ59843403 ScholiaQ59843403MaRDI QIDQ4567056
Ayça Balkan, Moshe Y. Vardi, Paulo Tabuada
Publication date: 27 June 2018
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1504.07702
Games involving graphs (91A43) Discrete event control/observation systems (93C65) Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: Mode-Target Games: Reactive Synthesis for Control Applications
