Found 8 Documents (Results 1–8)
Model checking \(\omega\)-regular properties for quantum Markov chains. (English) Zbl 1442.68106
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 35, 16 p. (2017).
Trace refinement in labelled Markov decision processes. (English) Zbl 1475.68203
Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9634, 303-318 (2016).
Filter Results by …
Document Type
- Journal Articles (6)
- Collection Articles (2)
all
top 5
Author
- Xu, Ming (3)
- Deng, Yuxin (2)
- Feng, Yuan (2)
- Fijalkow, Nathanaël (2)
- Fu, Jianling (2)
- Kiefer, Stefan (2)
- Mei, Jingyi (2)
- Shirmohammadi, Mahsa (2)
- Ying, Shenggang (2)
- Cholewa, Michał (1)
- Gawron, Piotr (1)
- Głomb, Przemysław (1)
- Hahn, Ernst Moritz (1)
- Huang, Chengchao (1)
- Kurzyk, Dariusz (1)
- Turrini, Andrea (1)
- Ying, Mingsheng (1)
Serial
- Theor. Comput. Sci. (2)
- Acta Inf. (1)
- Inf. Comput. (1)
- Quantum Inf. Process. (1)
- Log. Methods Comput. Sci. (1)