Browsing byAuthorTurrini, A
Showing results 1 to 6 of 6
Issue Date | Title | Author(s) |
2024 | Measurement-Based Verification of Quantum Markov Chains | Guan, J; Feng, Y; Turrini, A; Ying, M |
2019 | Model Checking Applied to Quantum Physics. | Guan, J; Feng, Y; Turrini, A; Ying, M |
2023-09-01 | Model Checking for Probabilistic Multiagent Systems | Fu, C; Turrini, A; Huang, X; Song, L; Feng, Y; Zhang, LJ |
2018-01-01 | Model checking probabilistic epistemic logic for probabilistic multiagent systems | Fu, C; Turrini, A; Huang, X; Song, L; Feng, Y; Zhang, L |
2017-08-01 | Model checking ω-regular properties for quantum Markov chains | Feng, Y; Hahn, EM; Turrini, A; Ying, S |
2015-01-01 | QPMC: A model checker for quantum programs and protocols | Feng, Y; Hahn, EM; Turrini, A; Zhang, L |