Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid Parker 0001
David Anthony Parker
Person information
- affiliation: University of Oxford, Department of Computer Science, UK
- affiliation (former): University of Birmingham, School of Computer Science, UK
Other persons with the same name
- David Parker — disambiguation page
- David Parker 0002
![[0000-0003-1482-1355]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-1482-1355")
— University of Hull - David Parker 0003 — University of Newcastle, UK
- David Parker 0004 — The Scarborough Hospital (and 1 more)
- David Parker 0005 — Aston University, Aston Business School, Birmingham, UK
- David Parker 0006 — Aberystwyth University, UK (and 1 more)
- David Parker 0007 — Dalhousie University, Halifax, Nova Scotia, Canada
- David Parker 0008 — Columbia University, New York, NY, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j39]Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen:
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. J. Artif. Intell. Res. 76: 341-391 (2023)- [c97]David Parker:
Multi-agent Verification and Control with Probabilistic Model Checking. QEST 2023: 1-9 - [i27]Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen:
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions. CoRR abs/2301.01526 (2023) - [i26]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Point-based Value Iteration for Neuro-Symbolic POMDPs. CoRR abs/2306.17639 (2023) - [i25]David Parker:
Multi-Agent Verification and Control with Probabilistic Model Checking. CoRR abs/2308.02829 (2023) - [i24]Ingy Elsayed-Aly, David Parker, Lu Feng:
Distributional Probabilistic Model Checking. CoRR abs/2309.05584 (2023) - [i23]Daniel Fentham, David Parker, Mark Ryan:
Using Reed-Muller Codes for Classification with Rejection and Recovery. CoRR abs/2309.06359 (2023) - [i22]Shili Sheng, David Parker, Lu Feng:
Safe POMDP Online Planning via Shielding. CoRR abs/2309.10216 (2023) - [i21]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR abs/2310.11566 (2023) - 2022
- [j38]Marta Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Model Checking and Autonomy. Annu. Rev. Control. Robotics Auton. Syst. 5: 385-410 (2022) - [j37]Armin Biere, David Parker:
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020. Int. J. Softw. Tools Technol. Transf. 24(5): 663-665 (2022) - [j36]Shili Sheng, Erfan Pakdamanian, Kyungtae Han, Ziran Wang, John Lenneman, David Parker, Lu Feng:
Planning for Automated Vehicles with Human Trust. ACM Trans. Cyber Phys. Syst. 6(4): 31:1-31:21 (2022) - [c96]Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga:
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. AAAI 2022: 9669-9678 - [c95]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games. Principles of Systems Design 2022: 388-406 - [c94]Shenghui Chen, Kayla Boggess, David Parker, Lu Feng:
Multi-Objective Controller Synthesis with Uncertain Human Preferences. ICCPS 2022: 170-180 - [c93]Cheng Li, David Parker, Qi Hao:
A Value-based Dynamic Learning Approach for Vehicle Dispatch in Ride-Sharing. IROS 2022: 11388-11395 - [c92]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan:
Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk). MFCS 2022: 4:1-4:22 - [c91]Edoardo Bacci, David Parker:
Verified Probabilistic Policies for Deep Reinforcement Learning. NFM 2022: 193-212 - [c90]Marnix Suilen, Thiago D. Simão, David Parker, Nils Jansen:
Robust Anytime Learning of Markov Decision Processes. NeurIPS 2022 - [c89]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Correlated Equilibria and Fairness in Concurrent Stochastic Games. TACAS (2) 2022: 60-78 - [c88]Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska:
Finite-horizon equilibria for neuro-symbolic concurrent stochastic games. UAI 2022: 2170-2180 - [e5]Sergiy Bogomolov, David Parker:
Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings. Lecture Notes in Computer Science 13465, Springer 2022, ISBN 978-3-031-15838-4 [contents] - [i20]Edoardo Bacci, David Parker:
Verified Probabilistic Policies for Deep Reinforcement Learning. CoRR abs/2201.03698 (2022) - [i19]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Correlated Equilibria and Fairness in Concurrent Stochastic Games. CoRR abs/2201.09702 (2022) - [i18]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games. CoRR abs/2202.06255 (2022) - [i17]Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska:
Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games. CoRR abs/2205.07546 (2022) - [i16]Marnix Suilen, Thiago D. Simão, Nils Jansen, David Parker:
Robust Anytime Learning of Markov Decision Processes. CoRR abs/2205.15827 (2022) - [i15]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan:
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. CoRR abs/2206.15148 (2022) - [i14]Narges Khakpour, David Parker:
Partially-Observable Security Games for Automating Attack-Defense Analysis. CoRR abs/2211.01508 (2022) - [i13]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games. CoRR abs/2211.06141 (2022) - 2021
- [j35]Ahmed Al-Ajeli, David Parker:
Fault diagnosis in labelled Petri nets: A Fourier-Motzkin based approach. Autom. 132: 109831 (2021) - [j34]Alexandros Evangelidis, David Parker:
Quantitative verification of Kalman filters. Formal Aspects Comput. 33(4-5): 669-693 (2021) - [j33]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automatic verification of concurrent stochastic systems. Formal Methods Syst. Des. 58(1-2): 188-250 (2021) - [j32]David Parker, Verena Wolf:
Introduction to the Special Issue on QEST 2019. ACM Trans. Model. Comput. Simul. 31(3): 12:1 (2021) - [c87]Cheng Li, David Parker, Qi Hao:
Optimal Online Dispatch for High-Capacity Shared Autonomous Mobility-on-Demand Systems. ICRA 2021: 779-785 - [c86]Edoardo Bacci, Mirco Giacobbe, David Parker:
Verifying Reinforcement Learning up to Infinity. IJCAI 2021: 2154-2160 - [c85]Cheng Li, David Parker, Qi Hao:
Vehicle Dispatch in On-Demand Ride-Sharing with Stochastic Travel Times. IROS 2021: 5966-5972 - [i12]Shenghui Chen, Kayla Boggess, David Parker, Lu Feng:
Multi-Objective Controller Synthesis with Uncertain Human Preferences. CoRR abs/2105.04662 (2021) - [i11]Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga:
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. CoRR abs/2110.12662 (2021) - [i10]Marta Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Model Checking and Autonomy. CoRR abs/2111.10630 (2021) - 2020
- [j31]Ning Shi, Zexuan Zhu, Ke Tang, David Parker, Shan He:
ATEN: And/Or tree ensemble for inferring accurate Boolean network topology and dynamics. Bioinform. 36(2): 578-585 (2020) - [c84]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. CAV (2) 2020: 475-487 - [c83]Michael Oxford, David Parker, Mark Ryan:
Quantitative Verification of Certificate Transparency Gossip Protocols. CNS 2020: 1-9 - [c82]Edoardo Bacci, David Parker:
Probabilistic Guarantees for Safe Deep Reinforcement Learning. FORMATS 2020: 231-248 - [c81]Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang:
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. ISoLA (4) 2020: 216-241 - [c80]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Multi-player Equilibria Verification for Concurrent Stochastic Games. QEST 2020: 74-95 - [e4]Armin Biere, David Parker:
Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I. Lecture Notes in Computer Science 12078, Springer 2020, ISBN 978-3-030-45189-9 [contents] - [e3]Armin Biere, David Parker:
Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II. Lecture Notes in Computer Science 12079, Springer 2020, ISBN 978-3-030-45236-0 [contents] - [i9]Edoardo Bacci, David Parker:
Probabilistic Guarantees for Safe Deep Reinforcement Learning. CoRR abs/2005.07073 (2020) - [i8]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Multi-player Equilibria Verification for Concurrent Stochastic Games. CoRR abs/2007.03365 (2020) - [i7]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automatic Verification of Concurrent Stochastic Systems. CoRR abs/2008.04613 (2020)
2010 – 2019
- 2019
- [j30]Bruno Lacerda, Fatma Faruq, David Parker, Nick Hawes:
Probabilistic planning with formal performance guarantees for mobile service robots. Int. J. Robotics Res. 38(9) (2019) - [j29]Avi Pfeffer, Curt Wu, Gerald Fry, Kenny Lu, Steve Marotta, Michael Reposa, Yuan Shi, T. K. Satish Kumar, Craig A. Knoblock, David Parker, Irfan Muhammad, Chris Novakovic:
Software Adaptation for an Unmanned Undersea Vehicle. IEEE Softw. 36(2): 91-96 (2019) - [c79]Marta Kwiatkowska, Gethin Norman, David Parker:
Verification and Control of Turn-Based Probabilistic Real-Time Games. The Art of Modelling Computational Systems 2019: 379-396 - [c78]Chris Novakovic, David Parker:
Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems. ESORICS (1) 2019: 319-337 - [c77]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. FM 2019: 298-315 - [c76]Alexandros Evangelidis, David Parker:
Quantitative Verification of Numerical Stability for Kalman Filters. FM 2019: 425-441 - [c75]Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz:
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). TACAS (3) 2019: 69-92 - [c74]Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters:
The Quantitative Verification Benchmark Set. TACAS (1) 2019: 344-350 - [e2]David Parker, Verena Wolf:
Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. Lecture Notes in Computer Science 11785, Springer 2019, ISBN 978-3-030-30280-1 [contents] - [i6]Marta Kwiatkowska, Gethin Norman, David Parker:
Verification and Control of Turn-Based Probabilistic Real-Time Games. CoRR abs/1906.09142 (2019) - 2018
- [j28]Alexandros Evangelidis, David Parker, Rami Bahsoon:
Performance modelling and verification of cloud-based auto-scaling policies. Future Gener. Comput. Syst. 87: 629-638 (2018) - [j27]Marta Kwiatkowska, David Parker, Clemens Wiltsche:
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. Int. J. Softw. Tools Technol. Transf. 20(2): 195-210 (2018) - [j26]Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe:
Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 15(4): 1152-1166 (2018) - [j25]David Parker:
Replicated Computational Results (RCR) Report for "ProPPA: Probabilistic Programming for Stochastic Dynamical Systems". ACM Trans. Model. Comput. Simul. 28(1): 4:1-4:3 (2018) - [c73]Fatma Faruq, David Parker, Bruno Lacerda, Nick Hawes:
Simultaneous Task Allocation and Planning Under Uncertainty. IROS 2018: 3559-3564 - [c72]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automated Verification of Concurrent Stochastic Games. QEST 2018: 223-239 - [i5]Fatma Faruq, Bruno Lacerda, Nick Hawes, David Parker:
Simultaneous Task Allocation and Planning Under Uncertainty. CoRR abs/1803.02906 (2018) - [i4]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. CoRR abs/1811.07145 (2018) - 2017
- [j24]Gethin Norman, David Parker, Xueyi Zou:
Verification and control of partially observable probabilistic systems. Real Time Syst. 53(3): 354-402 (2017) - [c71]Bruno Lacerda, David Parker, Nick Hawes:
Multi-Objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees. ICAPS 2017: 504-512 - [c70]Marta Kwiatkowska, Gethin Norman, David Parker:
Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. Models, Algorithms, Logics and Tools 2017: 289-309 - [c69]Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich:
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes. CAV (1) 2017: 160-180 - [c68]Alexandros Evangelidis, David Parker, Rami Bahsoon:
Performance Modelling and Verification of Cloud-based Auto-Scaling Policies. CCGrid 2017: 355-364 - 2016
- [j23]Christian von Essen, Barbara Jobstmann, David Parker, Rahul Varshneya:
Synthesizing efficient systems in probabilistic environments. Acta Informatica 53(4): 425-457 (2016) - [c67]Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe:
Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory. CMSB 2016: 232-251 - [c66]Zaruhi Aslanyan, Flemming Nielson, David Parker:
Quantitative Verification and Synthesis of Attack-Defence Scenarios. CSF 2016: 105-119 - [c65]Nishanthan Kamaleson, David Parker, Jonathan E. Rowe:
Finite-Horizon Bisimulation Minimisation for Probabilistic Systems. SPIN 2016: 147-164 - [c64]Marta Kwiatkowska, David Parker, Clemens Wiltsche:
PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. TACAS 2016: 560-566 - 2015
- [j22]Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma:
Permissive Controller Synthesis for Probabilistic Systems. Log. Methods Comput. Sci. 11(2) (2015) - [c63]Bruno Lacerda, David Parker, Nick Hawes:
Nested Value Iteration for Partially Satisfiable Co-Safe LTL Specifications (Extended Abstract). AAAI Fall Symposia 2015: 54-55 - [c62]Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek:
The Hanoi Omega-Automata Format. CAV (1) 2015: 479-486 - [c61]Gethin Norman, David Parker, Xueyi Zou:
Verification and Control of Partially Observable Probabilistic Real-Time Systems. FORMATS 2015: 240-255 - [c60]Bruno Lacerda, David Parker, Nick Hawes:
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications. IJCAI 2015: 1587-1593 - [i3]Gethin Norman, David Parker, Xueyi Zou:
Verification and Control of Partially Observable Probabilistic Real-Time Systems. CoRR abs/1506.06419 (2015) - 2014
- [j21]Klaus Dräger, Marta Z. Kwiatkowska, David Parker, Hongyang Qu:
Local abstraction refinement for probabilistic timed programs. Theor. Comput. Sci. 538: 37-53 (2014) - [c59]Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma:
Verification of Markov Decision Processes Using Learning Algorithms. ATVA 2014: 98-114 - [c58]Alessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. Horizons of the Mind 2014: 40-58 - [c57]Bruno Lacerda, David Parker, Nick Hawes:
Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications. IROS 2014: 1511-1516 - [c56]Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma:
Permissive Controller Synthesis for Probabilistic Systems. TACAS 2014: 531-546 - [p2]Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma:
On Incremental Quantitative Verification for Probabilistic Systems. HOWARD-60 2014: 245-257 - [i2]Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma:
Verification of Markov Decision Processes using Learning Algorithms. CoRR abs/1402.2967 (2014) - 2013
- [j20]Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Automatic verification of competitive stochastic systems. Formal Methods Syst. Des. 43(1): 61-92 (2013) - [j19]Gethin Norman, David Parker, Jeremy Sproston:
Model checking for probabilistic timed automata. Formal Methods Syst. Des. 43(2): 164-190 (2013) - [j18]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu:
Compositional probabilistic verification through multi-objective model checking. Inf. Comput. 232: 38-65 (2013) - [c55]Marta Z. Kwiatkowska, David Parker:
Automated Verification and Strategy Synthesis for Probabilistic Systems. ATVA 2013: 5-22 - [c54]Tom Chothia, Yusuke Kawamoto, Chris Novakovic, David Parker:
Probabilistic Point-to-Point Information Leakage. CSF 2013: 193-205 - [c53]Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
PRISM-games: A Model Checker for Stochastic Multi-Player Games. TACAS 2013: 185-191 - [c52]Christian Dehnert, Joost-Pieter Katoen, David Parker:
SMT-Based Bisimulation Minimisation of Markov Models. VMCAI 2013: 28-47 - [c51]Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Strategic Analysis of Trust Models for User-Centric Networks. SR 2013: 53-59 - 2012
- [j17]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic verification of Herman's self-stabilisation algorithm. Formal Aspects Comput. 24(4-6): 661-670 (2012) - [j16]Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations. Int. J. Comput. Their Appl. 19(2): 101-111 (2012) - [c50]Vojtech Forejt, Marta Z. Kwiatkowska, David Parker:
Pareto Curves for Probabilistic Model Checking. ATVA 2012: 317-332 - [c49]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
The PRISM Benchmark Suite. QEST 2012: 203-204 - [c48]Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma:
Incremental Runtime Verification of Probabilistic Systems. RV 2012: 314-319 - [c47]Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Automatic Verification of Competitive Stochastic Systems. TACAS 2012: 315-330 - [p1]Marta Z. Kwiatkowska, David Parker:
Advances in Probabilistic Model Checking. Software Safety and Security 2012: 126-151 - [e1]Alastair F. Donaldson, David Parker:
Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Lecture Notes in Computer Science 7385, Springer 2012, ISBN 978-3-642-31758-3 [contents] - [i1]Vojtech Forejt, Marta Z. Kwiatkowska, David Parker:
Pareto Curves for Probabilistic Model Checking. CoRR abs/1206.6295 (2012) - 2011
- [c46]Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker:
Learning-Based Compositional Verification for Synchronous Probabilistic Systems. ATVA 2011: 511-521 - [c45]Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A Systematic Approach to Evaluate Sustained Stochastic Oscillations. BICoB 2011: 134-139 - [c44]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM 4.0: Verification of Probabilistic Real-Time Systems. CAV 2011: 585-591 - [c43]Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Verifying Team Formation Protocols with Probabilistic Model Checking. CLIMA 2011: 190-207 - [c42]