Research output
- 1 Conference contribution
Search results
-
2025
Scalable control synthesis for stochastic systems via structural IMDP abstractions
Mathiesen, F. B., Haesaert, S. & Laurenti, L., 2025, HSCC '25: Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control. New York, NY: Association for Computing Machinery (ACM), 12 p. 14Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile4 Link opens in a new tab Citations (Scopus)2 Downloads (Pure)