×

Kwiatkowska, Marta Z.

Author ID: kwiatkowska.marta-z Recent zbMATH articles by "Kwiatkowska, Marta Z."
Published as: Kwiatkowska, Marta; Kwiatkowska, Marta Z.; Kwiatkowska, M.; Kwiatkowska, M. Z.; Kwiatkowska, Marta.
Homepage: http://www.cs.ox.ac.uk/people/marta.kwiatkowska/
External Links: ORCID · Wikidata · Google Scholar · dblp · GND · IdRef · theses.fr
all top 5

Co-Authors

10 single-authored
52 Norman, Gethin
13 Cardelli, Luca
12 Baier, Christel
12 Chen, Taolue
12 Forejt, Vojtěch
11 Laurenti, Luca
9 Sproston, Jeremy
7 Abate, Alessandro
6 Mereacre, Alexandru
6 Simaitis, Aistis
6 Wang, Xu
5 Češka, Milan
5 Qu, Hongyang
5 Segala, Roberto
4 Basset, Nicolas
4 Chilton, Chris
4 Dannenberg, Frits
4 Diciolla, Marco
4 Jovanović, Aleksandra Ž.
4 Paoletti, Nicola
4 Santos, Gabriel Pinheiro Alves
4 Trivedi, Ashutosh
4 Whitby, Max
4 Wiltsche, Clemens
3 Barbot, Benoît
3 Bortolussi, Luca
3 Fomin, Fedor V.
3 Han, Tingting
3 Huang, Xiaowei
3 Kattenbelt, Mark
3 Peleg, David
3 Thachuk, Chris
3 Wang, Fuzhi
2 Ambler, Simon J.
2 Brim, Luboš
2 Cattani, Stefano
2 de Alfaro, Luca
2 Dräger, Klaus
2 Etessami, Kousha
2 Freivalds, Rūsiņš Mārtiņš
2 Jonsson, Bengt
2 Lahijanian, Morteza
2 Measor, Nicholas
2 Mehmood, Rashid
2 Pacheco, António
2 Turberfield, Andrew J.
2 Tymchyshyn, Oksana
2 Ujma, Mateusz
2 Vardi, Moshe Ya’akov
2 Wu, Min
2 Yannakakis, Mihalis
1 Beunardeau, Marc
1 Bloom, Bard
1 Brázdil, Tomáš
1 Cauchi, Nathalie
1 Chatterjee, Krishnendu
1 Chmelík, Martin
1 Ciesinski, Frank
1 Clarke, Edmund Melson jun.
1 Edalat, Abbas
1 Feng, Lu
1 Fränzle, Martin
1 Gaffney, Eamonn A.
1 Giese, Holger
1 Gourdeau, Pascale
1 Größer, Marcus
1 Gupta, Rajesh Kumar
1 Hahn, Ernst Moritz
1 Hartonas-Garmhausen, Vasiliki
1 Hartonas, Chrysafis
1 Heath, J. K.
1 Heath, John R.
1 Hermanns, Holger
1 Huth, Michael R. A.
1 Jojczyk, Kazimierz
1 Jung, Achim
1 Jurdziński, Marcin
1 Kanade, Varun
1 Katoen, Joost-Pieter
1 Keimel, Klaus
1 Krause, Christian
1 Křetínský, Jan
1 Lomuscio, Alessio
1 Moller, Faron
1 Olejnik, Maciej
1 Panangaden, Prakash
1 Patanè, Andrea
1 Peled, Doron A.
1 Penczek, Wojciech
1 Peyras, Quentin
1 Ruan, Wenjie
1 Rutten, Jan J. M. M.
1 Schields, Michael W.
1 Shukla, Sandeep Kumar
1 Siegle, Markus
1 Svoreňová, Mária
1 Theodoropoulos, Georgios K.
1 Thomas, Richard M.
1 Topcu, Ufuk
1 Tribastone, Mirco
...and 9 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

125 Publications have been cited 1,108 times in 611 Documents Cited by Year
PRISM: Probabilistic symbolic model checker. Zbl 1047.68533
Kwiatkowska, Marta; Norman, Gethin; Parker, David
66
2002
Automatic verification of real-time systems with discrete probability distributions. Zbl 1050.68094
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
55
2002
Stochastic model checking. Zbl 1323.68379
Kwiatkowska, Marta; Norman, Gethin; Parker, David
48
2007
Quantitative multi-objective verification for probabilistic systems. Zbl 1315.68177
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
41
2011
Safety verification of deep neural networks. Zbl 1494.68166
Huang, Xiaowei; Kwiatkowska, Marta; Wang, Sen; Wu, Min
39
2017
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1105.68063
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
32
2006
A game-based abstraction-refinement framework for Markov decision processes. Zbl 1233.90276
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
27
2010
Probabilistic model checking of complex biological pathways. Zbl 1133.68043
Heath, John; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Tymchyshyn, Oksana
27
2008
Verification of Markov decision processes using learning algorithms. Zbl 1448.68290
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
26
2014
Symbolic model checking for probabilistic timed automata. Zbl 1122.68075
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy; Wang, Fuzhi
25
2007
Multi-objective model checking of Markov decision processes. Zbl 1161.68565
Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis
23
2008
Symbolic model checking for probabilistic processes. Zbl 1401.68180
Baier, Christel; Clarke, Edmund M.; Hartonas-Garmhausen, Vasiliki; Kwiatkowska, Marta; Ryan, Mark
22
1997
Model checking for a probabilistic branching time logic with fairness. Zbl 1448.68285
Baier, Christel; Kwiatkowska, Marta
21
1998
Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074
20
2004
Symmetry reduction for probabilistic model checking. Zbl 1188.68194
Kwiatkowska, Marta; Norman, Gethin; Parker, David
18
2006
Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation. Zbl 0960.68109
de Alfaro, Luca; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Segala, Roberto
17
2000
Automatic verification of competitive stochastic systems. Zbl 1291.68252
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
17
2013
Model checking probabilistic systems. Zbl 1392.68227
Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta
17
2018
A metric for traces. Zbl 0697.68071
Kwiatkowska, Marta Z.
16
1990
Stochastic games for verification of probabilistic timed automata. Zbl 1262.68125
Kwiatkowska, Marta; Norman, Gethin; Parker, David
16
2009
Event fairness and non-interleaving concurrency. Zbl 0696.68092
Kwiatkowska, Marta Z.
15
1989
Assume-guarantee verification for probabilistic systems. Zbl 1284.68406
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
15
2010
On stochastic games with multiple objectives. Zbl 1400.91040
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Wiltsche, Clemens
15
2013
Stochastic transition systems for continuous state spaces and non-determinism. Zbl 1118.68568
Cattani, Stefano; Segala, Roberto; Kwiatkowska, Marta; Norman, Gethin
13
2005
Probabilistic model checking of the IEEE 802.11 wireless local area network protocol. Zbl 1065.68583
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy
13
2002
Probabilistic symbolic model checking with PRISM: A hybrid approach. Zbl 1043.68576
Kwiatkowska, Marta; Norman, Gethin; Parker, David
12
2002
Pareto curves for probabilistic model checking. Zbl 1374.68285
Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David
12
2012
Multi-objective model checking of Markov decision processes. Zbl 1186.68286
Etessami, K.; Kwiatkowska, M.; Vardi, M. Y.; Yannakakis, M.
11
2007
A game-based approximate verification of deep neural networks with provable guarantees. Zbl 1436.68199
Wu, Min; Wicker, Matthew; Ruan, Wenjie; Huang, Xiaowei; Kwiatkowska, Marta
11
2020
Faster and symbolic CTMC model checking. Zbl 1007.68517
Katoen, Joost-Pieter; Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
2001
A compositional specification theory for component behaviours. Zbl 1352.68149
Chen, Taolue; Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta
11
2012
DNA walker circuits: computational potential, design, and verification. Zbl 1409.68099
Dannenberg, Frits; Kwiatkowska, Marta; Thachuk, Chris; Turberfield, Andrew J.
11
2013
Abstraction refinement for probabilistic software. Zbl 1206.68090
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
2009
Probabilistic verification of Herman’s self-stabilisation algorithm. Zbl 1259.68130
Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
2012
Precise parameter synthesis for stochastic biochemical systems. Zbl 1373.92038
Češka, Milan; Dannenberg, Frits; Paoletti, Nicola; Kwiatkowska, Marta; Brim, Luboš
11
2017
Domain equations for probabilistic processes. Zbl 0974.68136
Baier, Christel; Kwiatkowska, Marta
10
2000
On the verification of qualitative properties of probabilistic processes under fairness constraints. Zbl 1078.68664
Baier, Christel; Kwiatkowska, Marta
10
1998
Verifying quantitative properties of continuous probabilistic timed automata. Zbl 0999.68125
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
10
2000
PRISM-games: a model checker for stochastic multi-player games. Zbl 1381.68151
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
10
2013
Domain equations for probabilistic processes. Zbl 0911.68087
Baier, Christel; Kwiatkowska, Marta
9
1997
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. Zbl 07120160
Cauchi, Nathalie; Laurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Kwiatkowska, Marta; Cardelli, Luca
9
2019
Model checking expected time and expected reward formulae with random time bounds. Zbl 1104.68067
Kwiatkowska, M.; Norman, G.; Pacheco, A.
9
2006
Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol. Zbl 1029.68017
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy
9
2002
A testing equivalence for reactive probabilistic processes. Zbl 0917.68154
Kwiatkowska, M. Z.; Norman, G. J.
8
1998
Automated verification of a randomized distributed consensus protocol using cadence SMV and PRISM. Zbl 0991.68503
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto
8
2001
Quantitative verification and strategy synthesis for stochastic games. Zbl 1347.93240
Svoreňová, Mária; Kwiatkowska, Marta
8
2016
Automated verification and strategy synthesis for probabilistic systems. Zbl 1410.68233
Kwiatkowska, Marta; Parker, David
8
2013
Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. Zbl 1381.92110
Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
8
2016
Duality and the completeness of the modal \(\mu\)-calculus. Zbl 0872.03010
Ambler, Simon; Kwiatkowska, Marta; Measor, Nicholas
7
1995
An algebraic theory of interface automata. Zbl 1360.68608
Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta
7
2014
Compositional probabilistic verification through multi-objective model checking. Zbl 1277.68138
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
7
2013
Learning-based compositional verification for synchronous probabilistic systems. Zbl 1348.68135
Feng, Lu; Han, Tingting; Kwiatkowska, Marta; Parker, David
7
2011
Time-bounded verification of CTMCs against real-time specifications. Zbl 1348.68126
Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru
7
2011
Concavely-priced probabilistic timed automata. Zbl 1254.68136
Jurdziński, Marcin; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
6
2009
Numerical vs. statistical probabilistic model checking: an empirical study. Zbl 1126.68490
Younes, Håkan L. S.; Kwiatkowska, Marta; Norman, Gethin; Parker, David
6
2004
Formal and efficient synthesis for continuous-time linear stochastic hybrid processes. Zbl 07320129
Laurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Cardelli, Luca; Kwiatkowska, Marta
6
2021
Game-based probabilistic predicate abstraction in PRISM. Zbl 1286.68316
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
6
2008
On the use of MTBDDs for performability analysis and verification of stochastic systems. Zbl 1054.68018
Hermanns, Holger; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Siegle, Markus
6
2003
Symbolic model checking for probabilistic timed automata. Zbl 1109.68517
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy; Wang, Fuzhi
6
2004
Verifying team formation protocols with probabilistic model checking. Zbl 1348.68255
Chen, Taolue; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
6
2011
On the complexity of model checking interval-valued discrete time Markov chains. Zbl 1259.68150
Chen, Taolue; Han, Tingting; Kwiatkowska, Marta
6
2013
On the domain of traces and sequential composition. Zbl 0967.68527
Kwiatkowska, Marta Z.
5
1991
Using probabilistic model checking for dynamic power management. Zbl 1080.68601
Norman, Gethin; Parker, David; Kwiatkowska, Marta; Shukla, Sandeep; Gupta, Rajesh
5
2005
Combining intra- and inter-cellular dynamics to investigate intestinal homeostasis. Zbl 1375.92015
Tymchyshyn, Oksana; Kwiatkowska, Marta
5
2008
Model checking CSL until formulae with random time bounds. Zbl 1065.68595
Kwiatkowska, Marta; Norman, Gethin; Pacheco, António
5
2002
Programming discrete distributions with chemical reaction networks. Zbl 1451.68108
Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
5
2016
Permissive controller synthesis for probabilistic systems. Zbl 1391.68076
Dräger, Klaus; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
5
2015
Symbolic minimum expected time controller synthesis for probabilistic timed automata. Zbl 1465.68153
Jovanović, Aleksandra; Kwiatkowska, Marta; Norman, Gethin
5
2015
Compositional strategy synthesis for stochastic games with multiple objectives. Zbl 1395.68265
Basset, N.; Kwiatkowska, M.; Wiltsche, C.
5
2018
PID control of biochemical reaction networks. Zbl 07480846
Whitby, Max; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca; Tribastone, Mirco; Tschaikowski, Max
5
2022
Strategy synthesis for stochastic games with multiple long-run objectives. Zbl 1420.91011
Basset, Nicolas; Kwiatkowska, Marta; Topcu, Ufuk; Wiltsche, Clemens
4
2015
Verifying randomized Byzantine agreement. Zbl 1037.68508
Kwiatkowska, Marta; Norman, Gethin
4
2002
A refinement-based process algebra for timed automata. Zbl 1101.68694
Cattani, Stefano; Kwiatkowska, Marta
4
2005
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1099.68534
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
4
2004
Defining process fairness for non-interleaving concurrency. Zbl 0744.68048
Kwiatkowska, Marta Z.
4
1990
Compositional controller synthesis for stochastic games. Zbl 1421.93053
Basset, Nicolas; Kwiatkowska, Marta; Wiltsche, Clemens
4
2014
Chemical reaction network designs for asynchronous logic circuits. Zbl 1451.68109
Cardelli, Luca; Kwiatkowska, Marta; Whitby, Max
4
2016
Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. Zbl 1407.68275
Abate, Alessandro; Kwiatkowska, Marta; Norman, Gethin; Parker, David
4
2014
Syntax-guided optimal synthesis for chemical reaction networks. Zbl 1494.68163
Cardelli, Luca; Češka, Milan; Fränzle, Martin; Kwiatkowska, Marta; Laurenti, Luca; Paoletti, Nicola; Whitby, Max
4
2017
A fully abstract metric-space denotational semantics for reactive probabilistic processes. Zbl 0917.68137
Kwiatkowska, Marta; Norman, Gethin
3
1997
Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques. Zbl 1412.92150
Kwiatkowska, Marta; Mereacre, Alexandru; Paoletti, Nicola; Patanè, Andrea
3
2015
Parameter synthesis for probabilistic timed automata using stochastic game abstractions. Zbl 1393.68095
Jovanović, Aleksandra; Kwiatkowska, Marta
3
2014
On reduction criteria for probabilistic reward models. Zbl 1177.68150
Größer, Marcus; Norman, Gethin; Baier, Christel; Ciesinski, Frank; Kwiatkowska, Marta; Parker, David
3
2006
Symbolic computation of maximal probabilistic reachability. Zbl 1006.68096
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy
3
2001
Expected reachability-time games. Zbl 1290.68073
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
3
2010
Parallel model checking for temporal epistemic logic. Zbl 1211.68406
Kwiatkowska, Marta; Lomuscio, Alessio; Qu, Hongyang
3
2010
Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Zbl 1311.92100
Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru
3
2014
Computing cumulative rewards using fast adaptive uniformization. Zbl 1369.65014
Dannenberg, Frits; Hahn, Ernst Moritz; Kwiatkowska, Marta
3
2015
Probabilistic mobile ambients. Zbl 1183.68400
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Vigliotti, Maria Grazia
3
2009
Playing stochastic games precisely. Zbl 1364.91024
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Trivedi, Ashutosh; Ummels, Michael
3
2012
A symbolic out-of-core solution method for Markov models. Zbl 1270.68232
Kwiatkowska, Marta; Mehmood, Rashid; Norman, Gethin; Parker, David
3
2002
Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks. Zbl 1381.68140
Abate, Alessandro; Brim, Luboš; Češka, Milan; Kwiatkowska, Marta
3
2015
Trade-offs in true concurrency: pomsets and Mazurkiewicz traces. Zbl 1518.68228
Bloom, Bard; Kwiatkowska, Marta
3
1992
Synchronization trees and fairness: A case study. Zbl 0851.68068
Hartonas, Chrysafis; Kwiatkowska, Marta
2
1995
On topological hierarchies of temporal properties. Zbl 0956.68027
Baier, Christel; Kwiatkowska, Marta
2
2000
DNA walker circuits: computational potential, design, and verification. Zbl 1415.68078
Dannenberg, Frits; Kwiatkowska, Marta; Thachuk, Chris; Turberfield, Andrew J.
2
2015
Multi-player equilibria verification for concurrent stochastic games. Zbl 1483.68197
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel
2
2020
Expected reachability-time games. Zbl 1339.68146
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
2
2016
On process-algebraic verification of asynchronous circuits. Zbl 1128.68070
Wang, Xu; Kwiatkowska, Marta
2
2007
On topological characterization of behavioural properties. Zbl 0744.54020
Kwiatkowska, Marta Z.
2
1991
PID control of biochemical reaction networks. Zbl 07480846
Whitby, Max; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca; Tribastone, Mirco; Tschaikowski, Max
5
2022
Formal and efficient synthesis for continuous-time linear stochastic hybrid processes. Zbl 07320129
Laurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Cardelli, Luca; Kwiatkowska, Marta
6
2021
Automatic verification of concurrent stochastic systems. Zbl 1505.68025
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel
2
2021
On the hardness of robust classification. Zbl 07626788
Gourdeau, Pascale; Kanade, Varun; Kwiatkowska, Marta; Worrell, James
1
2021
A game-based approximate verification of deep neural networks with provable guarantees. Zbl 1436.68199
Wu, Min; Wicker, Matthew; Ruan, Wenjie; Huang, Xiaowei; Kwiatkowska, Marta
11
2020
Multi-player equilibria verification for concurrent stochastic games. Zbl 1483.68197
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel
2
2020
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. Zbl 07120160
Cauchi, Nathalie; Laurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Kwiatkowska, Marta; Cardelli, Luca
9
2019
Central limit model checking. Zbl 1433.68209
Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
1
2019
Verification and control of turn-based probabilistic real-time games. Zbl 07817560
Kwiatkowska, Marta; Norman, Gethin; Parker, David
1
2019
Model checking probabilistic systems. Zbl 1392.68227
Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta
17
2018
Compositional strategy synthesis for stochastic games with multiple objectives. Zbl 1395.68265
Basset, N.; Kwiatkowska, M.; Wiltsche, C.
5
2018
Automated verification of concurrent stochastic games. Zbl 1514.68138
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel
2
2018
Chemical reaction network designs for asynchronous logic circuits. Zbl 1528.68112
Cardelli, Luca; Kwiatkowska, Marta; Whitby, Max
2
2018
Experimental biological protocols with formal semantics. Zbl 1397.92268
Abate, Alessandro; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca; Yordanov, Boyan
1
2018
Programming discrete distributions with chemical reaction networks. Zbl 1528.68111
Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
1
2018
Safety verification of deep neural networks. Zbl 1494.68166
Huang, Xiaowei; Kwiatkowska, Marta; Wang, Sen; Wu, Min
39
2017
Precise parameter synthesis for stochastic biochemical systems. Zbl 1373.92038
Češka, Milan; Dannenberg, Frits; Paoletti, Nicola; Kwiatkowska, Marta; Brim, Luboš
11
2017
Syntax-guided optimal synthesis for chemical reaction networks. Zbl 1494.68163
Cardelli, Luca; Češka, Milan; Fränzle, Martin; Kwiatkowska, Marta; Laurenti, Luca; Paoletti, Nicola; Whitby, Max
4
2017
Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision. Zbl 1369.93728
Laurenti, Luca; Abate, Alessandro; Bortolussi, Luca; Cardelli, Luca; Ceska, Milan; Kwiatkowska, Marta
2
2017
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. Zbl 1359.68171
Jovanović, Aleksandra; Kwiatkowska, Marta; Norman, Gethin; Peyras, Quentin
2
2017
Quantitative verification and strategy synthesis for stochastic games. Zbl 1347.93240
Svoreňová, Mária; Kwiatkowska, Marta
8
2016
Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. Zbl 1381.92110
Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
8
2016
Programming discrete distributions with chemical reaction networks. Zbl 1451.68108
Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
5
2016
Chemical reaction network designs for asynchronous logic circuits. Zbl 1451.68109
Cardelli, Luca; Kwiatkowska, Marta; Whitby, Max
4
2016
Expected reachability-time games. Zbl 1339.68146
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
2
2016
A stochastic hybrid approximation for chemical kinetics based on the linear noise approximation. Zbl 1382.92269
Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
2
2016
Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk). Zbl 1388.68186
Kwiatkowska, Marta Z.
2
2016
Uniform sampling for timed automata with application to language inclusion measurement. Zbl 1377.68126
Barbot, Benoît; Basset, Nicolas; Beunardeau, Marc; Kwiatkowska, Marta
1
2016
Permissive controller synthesis for probabilistic systems. Zbl 1391.68076
Dräger, Klaus; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
5
2015
Symbolic minimum expected time controller synthesis for probabilistic timed automata. Zbl 1465.68153
Jovanović, Aleksandra; Kwiatkowska, Marta; Norman, Gethin
5
2015
Strategy synthesis for stochastic games with multiple long-run objectives. Zbl 1420.91011
Basset, Nicolas; Kwiatkowska, Marta; Topcu, Ufuk; Wiltsche, Clemens
4
2015
Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques. Zbl 1412.92150
Kwiatkowska, Marta; Mereacre, Alexandru; Paoletti, Nicola; Patanè, Andrea
3
2015
Computing cumulative rewards using fast adaptive uniformization. Zbl 1369.65014
Dannenberg, Frits; Hahn, Ernst Moritz; Kwiatkowska, Marta
3
2015
Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks. Zbl 1381.68140
Abate, Alessandro; Brim, Luboš; Češka, Milan; Kwiatkowska, Marta
3
2015
DNA walker circuits: computational potential, design, and verification. Zbl 1415.68078
Dannenberg, Frits; Kwiatkowska, Marta; Thachuk, Chris; Turberfield, Andrew J.
2
2015
On quantitative modelling and verification of DNA walker circuits using stochastic Petri nets. Zbl 1432.68144
Barbot, Benoît; Kwiatkowska, Marta
2
2015
Verification of Markov decision processes using learning algorithms. Zbl 1448.68290
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
26
2014
An algebraic theory of interface automata. Zbl 1360.68608
Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta
7
2014
Compositional controller synthesis for stochastic games. Zbl 1421.93053
Basset, Nicolas; Kwiatkowska, Marta; Wiltsche, Clemens
4
2014
Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. Zbl 1407.68275
Abate, Alessandro; Kwiatkowska, Marta; Norman, Gethin; Parker, David
4
2014
Parameter synthesis for probabilistic timed automata using stochastic game abstractions. Zbl 1393.68095
Jovanović, Aleksandra; Kwiatkowska, Marta
3
2014
Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Zbl 1311.92100
Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru
3
2014
Automatic verification of competitive stochastic systems. Zbl 1291.68252
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
17
2013
On stochastic games with multiple objectives. Zbl 1400.91040
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Wiltsche, Clemens
15
2013
DNA walker circuits: computational potential, design, and verification. Zbl 1409.68099
Dannenberg, Frits; Kwiatkowska, Marta; Thachuk, Chris; Turberfield, Andrew J.
11
2013
PRISM-games: a model checker for stochastic multi-player games. Zbl 1381.68151
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
10
2013
Automated verification and strategy synthesis for probabilistic systems. Zbl 1410.68233
Kwiatkowska, Marta; Parker, David
8
2013
Compositional probabilistic verification through multi-objective model checking. Zbl 1277.68138
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
7
2013
On the complexity of model checking interval-valued discrete time Markov chains. Zbl 1259.68150
Chen, Taolue; Han, Tingting; Kwiatkowska, Marta
6
2013
Verification of linear duration properties over continuous-time Markov chains. Zbl 1353.68174
Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru
1
2013
Pareto curves for probabilistic model checking. Zbl 1374.68285
Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David
12
2012
A compositional specification theory for component behaviours. Zbl 1352.68149
Chen, Taolue; Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta
11
2012
Probabilistic verification of Herman’s self-stabilisation algorithm. Zbl 1259.68130
Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
2012
Playing stochastic games precisely. Zbl 1364.91024
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Trivedi, Ashutosh; Ummels, Michael
3
2012
Automatic verification of competitive stochastic systems. Zbl 1352.68150
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
2
2012
Revisiting timed specification theories: a linear-time perspective. Zbl 1374.68274
Chilton, Chris; Kwiatkowska, Marta; Wang, Xu
2
2012
Quantitative multi-objective verification for probabilistic systems. Zbl 1315.68177
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
41
2011
Learning-based compositional verification for synchronous probabilistic systems. Zbl 1348.68135
Feng, Lu; Han, Tingting; Kwiatkowska, Marta; Parker, David
7
2011
Time-bounded verification of CTMCs against real-time specifications. Zbl 1348.68126
Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru
7
2011
Verifying team formation protocols with probabilistic model checking. Zbl 1348.68255
Chen, Taolue; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
6
2011
A game-based abstraction-refinement framework for Markov decision processes. Zbl 1233.90276
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
27
2010
Assume-guarantee verification for probabilistic systems. Zbl 1284.68406
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
15
2010
Expected reachability-time games. Zbl 1290.68073
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
3
2010
Parallel model checking for temporal epistemic logic. Zbl 1211.68406
Kwiatkowska, Marta; Lomuscio, Alessio; Qu, Hongyang
3
2010
A framework for verification of software with time and probabilities. Zbl 1290.68035
Kwiatkowska, Marta; Norman, Gethin; Parker, David
1
2010
Stochastic games for verification of probabilistic timed automata. Zbl 1262.68125
Kwiatkowska, Marta; Norman, Gethin; Parker, David
16
2009
Abstraction refinement for probabilistic software. Zbl 1206.68090
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
11
2009
Concavely-priced probabilistic timed automata. Zbl 1254.68136
Jurdziński, Marcin; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
6
2009
Probabilistic mobile ambients. Zbl 1183.68400
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Vigliotti, Maria Grazia
3
2009
Probabilistic model checking of complex biological pathways. Zbl 1133.68043
Heath, John; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Tymchyshyn, Oksana
27
2008
Multi-objective model checking of Markov decision processes. Zbl 1161.68565
Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis
23
2008
Game-based probabilistic predicate abstraction in PRISM. Zbl 1286.68316
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David
6
2008
Combining intra- and inter-cellular dynamics to investigate intestinal homeostasis. Zbl 1375.92015
Tymchyshyn, Oksana; Kwiatkowska, Marta
5
2008
A mass action model of a fibroblast growth factor signaling pathway and its simplification. Zbl 1169.92012
Gaffney, E. A.; Heath, J. K.; Kwiatkowska, M. Z.
1
2008
Stochastic model checking. Zbl 1323.68379
Kwiatkowska, Marta; Norman, Gethin; Parker, David
48
2007
Symbolic model checking for probabilistic timed automata. Zbl 1122.68075
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy; Wang, Fuzhi
25
2007
Multi-objective model checking of Markov decision processes. Zbl 1186.68286
Etessami, K.; Kwiatkowska, M.; Vardi, M. Y.; Yannakakis, M.
11
2007
On process-algebraic verification of asynchronous circuits. Zbl 1128.68070
Wang, Xu; Kwiatkowska, Marta
2
2007
On process-algebraic verification of asynchronous circuits. Zbl 1137.68456
Wang, Xu; Kwiatkowska, Marta
1
2007
Compositional state space reduction using untangled actions. Zbl 1277.68213
Wang, Xu; Kwiatkowska, Marta
1
2007
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1105.68063
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
32
2006
Symmetry reduction for probabilistic model checking. Zbl 1188.68194
Kwiatkowska, Marta; Norman, Gethin; Parker, David
18
2006
Model checking expected time and expected reward formulae with random time bounds. Zbl 1104.68067
Kwiatkowska, M.; Norman, G.; Pacheco, A.
9
2006
On reduction criteria for probabilistic reward models. Zbl 1177.68150
Größer, Marcus; Norman, Gethin; Baier, Christel; Ciesinski, Frank; Kwiatkowska, Marta; Parker, David
3
2006
Stochastic transition systems for continuous state spaces and non-determinism. Zbl 1118.68568
Cattani, Stefano; Segala, Roberto; Kwiatkowska, Marta; Norman, Gethin
13
2005
Using probabilistic model checking for dynamic power management. Zbl 1080.68601
Norman, Gethin; Parker, David; Kwiatkowska, Marta; Shukla, Sandeep; Gupta, Rajesh
5
2005
A refinement-based process algebra for timed automata. Zbl 1101.68694
Cattani, Stefano; Kwiatkowska, Marta
4
2005
Towards a unifying CSP approach to hierarchical verification of asynchronous hardware. Zbl 1272.68278
Wang, X.; Kwiatkowska, M.; Theodoropoulos, G.; Zhang, Q.
2
2005
Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074
20
2004
Numerical vs. statistical probabilistic model checking: an empirical study. Zbl 1126.68490
Younes, Håkan L. S.; Kwiatkowska, Marta; Norman, Gethin; Parker, David
6
2004
Symbolic model checking for probabilistic timed automata. Zbl 1109.68517
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy; Wang, Fuzhi
6
2004
Performance analysis of probabilistic timed automata using digital clocks. Zbl 1099.68534
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy
4
2004
On the use of MTBDDs for performability analysis and verification of stochastic systems. Zbl 1054.68018
Hermanns, Holger; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Siegle, Markus
6
2003
PRISM: Probabilistic symbolic model checker. Zbl 1047.68533
Kwiatkowska, Marta; Norman, Gethin; Parker, David
66
2002
Automatic verification of real-time systems with discrete probability distributions. Zbl 1050.68094
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
55
2002
Probabilistic model checking of the IEEE 802.11 wireless local area network protocol. Zbl 1065.68583
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy
13
2002
Probabilistic symbolic model checking with PRISM: A hybrid approach. Zbl 1043.68576
Kwiatkowska, Marta; Norman, Gethin; Parker, David
12
2002
Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol. Zbl 1029.68017
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy
9
2002
Model checking CSL until formulae with random time bounds. Zbl 1065.68595
Kwiatkowska, Marta; Norman, Gethin; Pacheco, António
5
2002
Verifying randomized Byzantine agreement. Zbl 1037.68508
Kwiatkowska, Marta; Norman, Gethin
4
2002
...and 25 more Documents
all top 5

Cited by 1,123 Authors

51 Kwiatkowska, Marta Z.
33 Katoen, Joost-Pieter
25 Norman, Gethin
20 Baier, Christel
19 Junges, Sebastian
13 Chatterjee, Krishnendu
12 Hermanns, Holger
12 Sproston, Jeremy
11 Jansen, Nils
11 Křetínský, Jan
10 Zhang, Lijun
9 Abate, Alessandro
9 Cardelli, Luca
9 Peled, Doron A.
8 Hahn, Ernst Moritz
8 Zamani, Majid
7 Bortolussi, Luca
7 Chen, Taolue
7 de Vink, Erik P.
7 Delahaye, Benoît
7 Forejt, Vojtěch
7 Gastin, Paul
7 Hillston, Jane
6 Bernardo, Marco
6 Desharnais, Josée
6 Feng, Yuan
6 Kucera, Antonin
6 Larsen, Kim Guldstrand
6 Lavaei, Abolfazl
6 Lüttgen, Gerald
6 Milazzo, Paolo
6 Pacheco, António
6 Seshia, Sanjit Arunkumar
6 Soudjani, Sadegh
6 Vogler, Walter
5 Ballarini, Paolo
5 Bouyer, Patricia
5 Brázdil, Tomáš
5 Češka, Milan
5 D’Argenio, Pedro Rubén
5 Giese, Holger
5 Haverkort, Boudewijn R.
5 Klein, Joachim
5 Laurenti, Luca
5 Legay, Axel
5 Maggiolo-Schettini, Andrea
5 Maximova, Maria
5 Panangaden, Prakash
5 Pérez, Guillermo A.
4 Bertrand, Nathalie
4 Calder, Muffy
4 Chmelík, Martin
4 Chu, Dominique
4 Deng, Yuxin
4 Fendrich, Sascha
4 Hartmanns, Arnd
4 Henzinger, Thomas A.
4 Huang, Xiaowei
4 Jovanović, Aleksandra Ž.
4 Jurdziński, Marcin
4 Konur, Savas
4 Lanotte, Ruggero
4 Mateus, Paulo C.
4 Morgan, Carroll C.
4 Qu, Hongyang
4 Quatmann, Tim
4 Raskin, Jean-François
4 Ruan, Wenjie
4 Schewe, Sven
4 Schneider, Sven
4 Sokolova, Ana
4 Stoelinga, Mariëlle
4 Sun, Jun
4 Topcu, Ufuk
4 Trivedi, Ashutosh
4 Tschaikowski, Max
4 Vandin, Andrea
4 Weininger, Maximilian
3 Ábrahám, Erika
3 Aichernig, Bernhard K.
3 André, Étienne
3 Bartocci, Ezio
3 Basset, Nicolas
3 Bezhanishvili, Nick
3 Bonchi, Filippo
3 Bradley, Jeremy T.
3 Brihaye, Thomas
3 Černá, Ivana
3 Chadha, Rohit
3 Dannenberg, Frits
3 Diekert, Volker
3 Dubslaff, Clemens
3 Hartonas, Chrysafis
3 Johnson, Taylor T.
3 Katz, Guy
3 Krause, Christian
3 Kröning, Daniel
3 Lathrop, James I.
3 Laviolette, François
3 Loreti, Michele
...and 1,023 more Authors
all top 5

Cited in 78 Serials

76 Theoretical Computer Science
30 Formal Aspects of Computing
27 Information and Computation
26 Formal Methods in System Design
15 Acta Informatica
12 Journal of Computer and System Sciences
12 Logical Methods in Computer Science
9 Artificial Intelligence
9 Automatica
9 The Journal of Logic and Algebraic Programming
9 Journal of Logical and Algebraic Methods in Programming
7 Information Processing Letters
7 Natural Computing
6 Journal of Automated Reasoning
6 Machine Learning
6 Nonlinear Analysis. Hybrid Systems
5 Journal of Theoretical Biology
4 Distributed Computing
4 The Journal of Artificial Intelligence Research (JAIR)
4 Journal of the ACM
4 Fundamenta Informaticae
3 Discrete Event Dynamic Systems
3 European Journal of Control
3 ACM Transactions on Computational Logic
3 Frontiers of Computer Science
2 Computers & Mathematics with Applications
2 Science of Computer Programming
2 Annals of Pure and Applied Logic
2 Queueing Systems
2 MSCS. Mathematical Structures in Computer Science
2 Journal of Mathematical Chemistry
2 Mathematical Methods of Operations Research
2 International Journal of Applied Mathematics and Computer Science
2 Journal of Machine Learning Research (JMLR)
2 Computer Science Review
1 Communications in Algebra
1 Computer Methods in Applied Mechanics and Engineering
1 Journal of Mathematical Biology
1 Bulletin of Mathematical Biology
1 Computing
1 International Journal of Game Theory
1 Programming and Computer Software
1 Semigroup Forum
1 SIAM Journal on Control and Optimization
1 Studia Logica
1 Bulletin of the Iranian Mathematical Society
1 Journal of Parallel and Distributed Computing
1 Neural Networks
1 Annals of Operations Research
1 Real-Time Systems
1 Journal of Global Optimization
1 Applied Mathematical Modelling
1 Journal of Statistical Computation and Simulation
1 Linear Algebra and its Applications
1 SIAM Journal on Applied Mathematics
1 Archive for Mathematical Logic
1 International Journal of Robust and Nonlinear Control
1 Journal of Logic, Language and Information
1 Journal of Mathematical Sciences (New York)
1 Annals of Mathematics and Artificial Intelligence
1 Computer Science Journal of Moldova
1 International Transactions in Operational Research
1 ACM Transactions on Modeling and Computer Simulation
1 INFORMS Journal on Computing
1 Mathematical Problems in Engineering
1 Theory of Computing Systems
1 Journal of Combinatorial Optimization
1 Communications in Nonlinear Science and Numerical Simulation
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Systems Science and Complexity
1 Journal of Applied Mathematics
1 Computer Languages, Systems & Structures
1 Journal of Applied Logic
1 International Journal of Quantum Information
1 Optimization Letters
1 Algorithms
1 International Journal of Systems Science. Principles and Applications of Systems and Integration
1 Journal of Membrane Computing

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.