Author:
Hartmanns Arnd,Timmer Mark
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Baier, C., D’Argenio, P.R., Größer, M.: Partial order reduction for probabilistic branching time. ENTCS 153(2) (2006)
2. Baier, C., Größer, M., Ciesinski, F.: Partial order reduction for probabilistic systems. In: QEST, pp. 230–239. IEEE Computer Society (2004)
3. Baier, C., Katoen, J.P.: Principles of model checking. MIT Press (2008)
4. Blom, S.C.C.: Partial τ-confluence for efficient state space generation. Tech. Rep. SEN-R0123, CWI (2001)
5. Lecture Notes in Computer Science;S.C.C. Blom,2002
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. MoGym: Using Formal Models for Training and Verifying Decision-making Agents;Computer Aided Verification;2022
2. Statistical Model Checking the 2018 Edition!;Leveraging Applications of Formal Methods, Verification and Validation. Verification;2018
3. Confluence reduction for Markov automata;Theoretical Computer Science;2016-12
4. Smart sampling for lightweight verification of Markov decision processes;International Journal on Software Tools for Technology Transfer;2015-06-06
5. Scalable Verification of Markov Decision Processes;Software Engineering and Formal Methods;2015