Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian. Robust stutter bisimulation for abstraction and controller synthesis with disturbance. Automatica, 160:111394, February 2024. [doi]
@article{KrookMMF24, title = {Robust stutter bisimulation for abstraction and controller synthesis with disturbance}, author = {Jonas Krook and Robi Malik and Sahar Mohajerani and Martin Fabian}, year = {2024}, month = {February}, doi = {10.1016/j.automatica.2023.111394}, url = {https://doi.org/10.1016/j.automatica.2023.111394}, researchr = {https://researchr.org/publication/KrookMMF24}, cites = {0}, citedby = {0}, journal = {Automatica}, volume = {160}, pages = {111394}, }