https://researcher.itu.dk/p/en/research-outputs/bisimulations-meet-pctl-equivalences-for-probabilistic-automata
Bisimulations Meet PCTL Equivalences for Probabilistic Automata — IT University of Copenhagen
Bisimulations Meet PCTL Equivalences for Probabilistic Automata
university of copenhagenprobabilistic automatabisimulationsmeetpctl
https://murray.cds.caltech.edu/Special:Browse/:Bisimulations-20for-20Reasoning-20about-20Input-2Dto-2DState-20Stability-20Properties-20of-20Hybrid-20Systems
Bisimulations for Reasoning about Input-to-State Stability Properties of Hybrid Systems
hybrid systemsbisimulationsreasoninginputstate