Estimator-based reactive synthesis under incomplete information
From MaRDI portal
Publication:2988946
DOI10.1145/2728606.2728626zbMath1366.68167OpenAlexW2073104588MaRDI QIDQ2988946
Publication date: 19 May 2017
Published in: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2728606.2728626
Transportation, logistics and supply chain management (90B06) Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
BOCoSy: Small but Powerful Symbolic Output-Feedback Control ⋮ Deadlock-free output feedback controller design based on approximately abstracted observers ⋮ Unnamed Item
Cites Work
This page was built for publication: Estimator-based reactive synthesis under incomplete information