DOI,IST REx ID,Research Group,Title of publication
10.1016/j.nahs.2023.101430,14400,ToHe,Symbolic control for stochastic systems via finite parity games
10.1016/j.nahs.2020.100856,7426,ToHe,Abstraction based verification of stability of polyhedral switched systems