Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2 Publications
2023 | Journal Article | IST-REx-ID: 14400 |
Majumdar, R., Mallik, K., Schmuck, A. K., & Soudjani, S. (2023). Symbolic control for stochastic systems via finite parity games. Nonlinear Analysis: Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2023.101430
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 7426 |
Garcia Soto, M., & Prabhakar, P. (2020). Abstraction based verification of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2020.100856
[Submitted Version]
View
| Files available
| DOI
| WoS