Project Publications
Sort by: date, type, title
6 publications:
-
[Gir12]
S. Giro.
Efficient Computation of Exact Solutions for Quantitative Model Checking.
In Proc. 10th Workshop on Quantitative Aspects of Programming Languages (QAPL'12), volume 85 of EPTCS, pages 17-32.
March 2012.
[pdf]
[bib]
-
[KPQ11]
M. Kwiatkowska, D. Parker and H. Qu.
Incremental Quantitative Verification for Markov Decision Processes.
In Proc. IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-PDS'11), pages 359-370, IEEE CS Press.
June 2011.
[pdf]
[bib]
-
[KPQU14]
M. Kwiatkowska, D. Parker, H. Qu, and M. Ujma.
On Incremental Quantitative Verification for Probabilistic Systems.
In Proc. Andrei Voronkov and Margarita Korovina (editors), HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, pages 245-257, Easychair.
February 2014.
[pdf]
[bib]
-
[Gir13]
S. Giro.
Optimal Schedulers vs Optimal Bases: An approach for efficient exact solving of Markov decision processes.
Theoretical Computer Science, 10. To appear.
2013.
[pdf]
[bib]
-
[KNP11]
M. Kwiatkowska, G. Norman and D. Parker.
PRISM 4.0: Verification of Probabilistic Real-time Systems.
In Proc. 23rd International Conference on Computer Aided Verification (CAV'11), volume 6806 of LNCS, pages 585-591, Springer.
July 2011.
[pdf]
[bib]
-
[GR12]
S. Giro and M. Rabe.
Verification of Partial-Information Probabilistic Systems using Counterexample-Guided Refinements.
In Supratik Chakraborty and Madhavan Mukund (editors), Proc. 10th International Symposium on Automated Technology for Verification and Analysis (ATVA'12), volume 7561 of LNCS, pages 333-348, Springer.
October 2012.
[pdf]
[bib]
Sort by: date, type, title
