Edit Profile (opens in new tab) Kwiatkowska, Marta Z. Compute Distance To: Compute Author ID: kwiatkowska.marta-z Published as: Kwiatkowska, Marta; Kwiatkowska, M.; Kwiatkowska, Marta Z.; Kwiatkowska, M. Z.; Kwiatkowska, Marta. Documents Indexed: 130 Publications since 1985 9 Contributions as Editor · 1 Further Contribution Co-Authors: 100 Co-Authors with 130 Joint Publications 2,146 Co-Co-Authors all top 5 Co-Authors 9 single-authored 46 Norman, Gethin 12 Baier, Christel 12 Chen, Taolue 12 Forejt, Vojtěch 10 Cardelli, Luca 9 Laurenti, Luca 9 Sproston, Jeremy 7 Abate, Alessandro 6 Mereacre, Alexandru 6 Simaitis, Aistis 6 Wang, Xu 5 Qu, Hongyang 5 Segala, Roberto 4 Basset, Nicolas 4 Češka, Milan 4 Chilton, Chris 4 Dannenberg, Frits 4 Diciolla, Marco 4 Jovanović, Aleksandra Ž. 4 Trivedi, Ashutosh 4 Wiltsche, Clemens 3 Barbot, Benoît 3 Bortolussi, Luca 3 Fomin, Fedor V. 3 Han, Tingting 3 Kattenbelt, Mark 3 Paoletti, Nicola 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 Huang, Xiaowei 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 Whitby, Max 2 Yannakakis, Mihalis 1 Beunardeau, Marc 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 Gaffney, Eamonn A. 1 Giese, Holger 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 Katoen, Joost-Pieter 1 Keimel, Klaus 1 Krause, Christian 1 Křetínský, Jan 1 Lomuscio, Alessio 1 Moller, Faron 1 Norman, G. J. 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 Santos, Gabriel Pinheiro Alves 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 1 Tschaikowski, Max 1 Ummels, Michael 1 van Breugel, Franck 1 Vigliotti, Maria Grazia ...and 3 more Co-Authors all top 5 Serials 11 Theoretical Computer Science 5 Information and Computation 5 Formal Aspects of Computing 4 Formal Methods in System Design 3 Information Processing Letters 3 ACM Transactions on Computational Logic 2 IEEE Transactions on Automatic Control 2 Fundamenta Informaticae 2 Lecture Notes in Computer Science 2 Electronic Notes in Theoretical Computer Science 2 Logical Methods in Computer Science 1 Acta Informatica 1 Computers & Mathematics with Applications 1 Bulletin of Mathematical Biology 1 MSCS. Mathematical Structures in Computer Science 1 Distributed Computing 1 Zeszyty Naukowe Uniwersytetu Jagiellońskiego. Prace Informatyczne 1 ACM Transactions on Modeling and Computer Simulation 1 European Journal of Control 1 The Journal of Logic and Algebraic Programming 1 Natural Computing 1 CRM Monograph Series all top 5 Fields 126 Computer science (68-XX) 22 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 13 Mathematical logic and foundations (03-XX) 13 Probability theory and stochastic processes (60-XX) 12 Biology and other natural sciences (92-XX) 9 Systems theory; control (93-XX) 8 General and overarching topics; collections (00-XX) 6 Operations research, mathematical programming (90-XX) 5 Numerical analysis (65-XX) 2 General topology (54-XX) 2 Information and communication theory, circuits (94-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Dynamical systems and ergodic theory (37-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 107 Publications have been cited 723 times in 417 Documents Cited by ▼ Year ▼ PRISM: Probabilistic symbolic model checker. Zbl 1047.68533Kwiatkowska, Marta; Norman, Gethin; Parker, David 48 2002 Automatic verification of real-time systems with discrete probability distributions. Zbl 1050.68094Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy 44 2002 Stochastic model checking. Zbl 1323.68379Kwiatkowska, Marta; Norman, Gethin; Parker, David 33 2007 Quantitative multi-objective verification for probabilistic systems. Zbl 1315.68177Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang 28 2011 Performance analysis of probabilistic timed automata using digital clocks. Zbl 1105.68063Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy 23 2006 Probabilistic model checking of complex biological pathways. Zbl 1133.68043Heath, John; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Tymchyshyn, Oksana 21 2008 Symbolic model checking for probabilistic timed automata. Zbl 1122.68075Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy; Wang, Fuzhi 19 2007 Symbolic model checking for probabilistic processes. Zbl 1401.68180Baier, Christel; Clarke, Edmund M.; Hartonas-Garmhausen, Vasiliki; Kwiatkowska, Marta; Ryan, Mark 17 1997 Multi-objective model checking of Markov decision processes. Zbl 1161.68565Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis 17 2008 A game-based abstraction-refinement framework for Markov decision processes. Zbl 1233.90276Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David 16 2010 Symmetry reduction for probabilistic model checking. Zbl 1188.68194Kwiatkowska, Marta; Norman, Gethin; Parker, David 15 2006 A metric for traces. Zbl 0697.68071Kwiatkowska, Marta Z. 14 1990 Event fairness and non-interleaving concurrency. Zbl 0696.68092Kwiatkowska, Marta Z. 13 1989 Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation. Zbl 0960.68109de Alfaro, Luca; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Segala, Roberto 13 2000 Assume-guarantee verification for probabilistic systems. Zbl 1284.68406Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang 12 2010 Stochastic transition systems for continuous state spaces and non-determinism. Zbl 1118.68568Cattani, Stefano; Segala, Roberto; Kwiatkowska, Marta; Norman, Gethin 12 2005 Stochastic games for verification of probabilistic timed automata. Zbl 1262.68125Kwiatkowska, Marta; Norman, Gethin; Parker, David 12 2009 Probabilistic symbolic model checking with PRISM: A hybrid approach. Zbl 1043.68576Kwiatkowska, Marta; Norman, Gethin; Parker, David 11 2002 Probabilistic model checking of the IEEE 802.11 wireless local area network protocol. Zbl 1065.68583Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy 11 2002 Abstraction refinement for probabilistic software. Zbl 1206.68090Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David 11 2009 Pareto curves for probabilistic model checking. Zbl 1374.68285Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David 10 2012 PRISM-games: a model checker for stochastic multi-player games. Zbl 1381.68151Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis 10 2013 Verification of Markov decision processes using learning algorithms. Zbl 1448.68290Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz 10 2014 On the verification of qualitative properties of probabilistic processes under fairness constraints. Zbl 1078.68664Baier, Christel; Kwiatkowska, Marta 9 1998 Faster and symbolic CTMC model checking. Zbl 1007.68517Katoen, Joost-Pieter; Kwiatkowska, Marta; Norman, Gethin; Parker, David 9 2001 A compositional specification theory for component behaviours. Zbl 1352.68149Chen, Taolue; Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta 9 2012 Probabilistic verification of Herman’s self-stabilisation algorithm. Zbl 1259.68130Kwiatkowska, Marta; Norman, Gethin; Parker, David 9 2012 A testing equivalence for reactive probabilistic processes. Zbl 0917.68154Kwiatkowska, M. Z.; Norman, G. J. 8 1998 Automatic verification of competitive stochastic systems. Zbl 1291.68252Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis 8 2013 Domain equations for probabilistic processes. Zbl 0974.68136Baier, Christel; Kwiatkowska, Marta 8 2000 Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol. Zbl 1029.68017Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy 8 2002 Domain equations for probabilistic processes. Zbl 0911.68087Baier, Christel; Kwiatkowska, Marta 7 1997 Verifying quantitative properties of continuous probabilistic timed automata. Zbl 0999.68125Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy 7 2000 Model checking probabilistic systems. Zbl 1392.68227Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta 7 2018 Duality and the completeness of the modal \(\mu\)-calculus. Zbl 0872.03010Ambler, Simon; Kwiatkowska, Marta; Measor, Nicholas 7 1995 On stochastic games with multiple objectives. Zbl 1400.91040Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Wiltsche, Clemens 7 2013 Model checking expected time and expected reward formulae with random time bounds. Zbl 1104.68067Kwiatkowska, M.; Norman, G.; Pacheco, A. 7 2006 Time-bounded verification of CTMCs against real-time specifications. Zbl 1348.68126Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru 6 2011 DNA walker circuits: computational potential, design, and verification. Zbl 1409.68099Dannenberg, Frits; Kwiatkowska, Marta; Thachuk, Chris; Turberfield, Andrew J. 6 2013 Compositional probabilistic verification through multi-objective model checking. Zbl 1277.68138Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang 6 2013 Precise parameter synthesis for stochastic biochemical systems. Zbl 1373.92038Češka, Milan; Dannenberg, Frits; Paoletti, Nicola; Kwiatkowska, Marta; Brim, Luboš 6 2017 Learning-based compositional verification for synchronous probabilistic systems. Zbl 1348.68135Feng, Lu; Han, Tingting; Kwiatkowska, Marta; Parker, David 5 2011 Multi-objective model checking of Markov decision processes. Zbl 1186.68286Etessami, K.; Kwiatkowska, M.; Vardi, M. Y.; Yannakakis, M. 5 2007 Numerical vs. statistical probabilistic model checking: an empirical study. Zbl 1126.68490Younes, Håkan L. S.; Kwiatkowska, Marta; Norman, Gethin; Parker, David 5 2004 Concavely-priced probabilistic timed automata. Zbl 1254.68136Jurdziński, Marcin; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh 5 2009 An algebraic theory of interface automata. Zbl 1360.68608Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta 5 2014 Game-based probabilistic predicate abstraction in PRISM. Zbl 1286.68316Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David 5 2008 Automated verification and strategy synthesis for probabilistic systems. Zbl 1410.68233Kwiatkowska, Marta; Parker, David 5 2013 Model checking CSL until formulae with random time bounds. Zbl 1065.68595Kwiatkowska, Marta; Norman, Gethin; Pacheco, António 5 2002 Symbolic model checking for probabilistic timed automata. Zbl 1109.68517Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy; Wang, Fuzhi 5 2004 Combining intra- and inter-cellular dynamics to investigate intestinal homeostasis. Zbl 1375.92015Tymchyshyn, Oksana; Kwiatkowska, Marta 5 2008 Automated verification of a randomized distributed consensus protocol using cadence SMV and PRISM. Zbl 0991.68503Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto 4 2001 Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. Zbl 1381.92110Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca 4 2016 Performance analysis of probabilistic timed automata using digital clocks. Zbl 1099.68534Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy 4 2004 Compositional controller synthesis for stochastic games. Zbl 1421.93053Basset, Nicolas; Kwiatkowska, Marta; Wiltsche, Clemens 4 2014 Using probabilistic model checking for dynamic power management. Zbl 1080.68601Norman, Gethin; Parker, David; Kwiatkowska, Marta; Shukla, Sandeep; Gupta, Rajesh 4 2005 On the use of MTBDDs for performability analysis and verification of stochastic systems. Zbl 1054.68018Hermanns, Holger; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Siegle, Markus 4 2003 A game-based approximate verification of deep neural networks with provable guarantees. Zbl 1436.68199Wu, Min; Wicker, Matthew; Ruan, Wenjie; Huang, Xiaowei; Kwiatkowska, Marta 4 2020 A fully abstract metric-space denotational semantics for reactive probabilistic processes. Zbl 0917.68137Kwiatkowska, Marta; Norman, Gethin 3 1997 A symbolic out-of-core solution method for Markov models. Zbl 1270.68232Kwiatkowska, Marta; Mehmood, Rashid; Norman, Gethin; Parker, David 3 2002 Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. Zbl 1407.68275Abate, Alessandro; Kwiatkowska, Marta; Norman, Gethin; Parker, David 3 2014 Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Zbl 1311.92100Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru 3 2014 Quantitative verification and strategy synthesis for stochastic games. Zbl 1347.93240Svoreňová, Mária; Kwiatkowska, Marta 3 2016 Symbolic computation of maximal probabilistic reachability. Zbl 1006.68096Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy 3 2001 Verifying team formation protocols with probabilistic model checking. Zbl 1348.68255Chen, Taolue; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis 3 2011 Verifying randomized Byzantine agreement. Zbl 1037.68508Kwiatkowska, Marta; Norman, Gethin 3 2002 Symbolic minimum expected time controller synthesis for probabilistic timed automata. Zbl 1465.68153Jovanović, Aleksandra; Kwiatkowska, Marta; Norman, Gethin 3 2015 Synchronization trees and fairness: A case study. Zbl 0851.68068Hartonas, Chrysafis; Kwiatkowska, Marta 2 1995 On topological hierarchies of temporal properties. Zbl 0956.68027Baier, Christel; Kwiatkowska, Marta 2 2000 Expected reachability-time games. Zbl 1290.68073Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh 2 2010 Permissive controller synthesis for probabilistic systems. Zbl 1391.68076Dräger, Klaus; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz 2 2015 Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks. Zbl 1381.68140Abate, Alessandro; Brim, Luboš; Češka, Milan; Kwiatkowska, Marta 2 2015 Programming discrete distributions with chemical reaction networks. Zbl 1451.68108Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca 2 2016 On the domain of traces and sequential composition. Zbl 0967.68527Kwiatkowska, Marta Z. 2 1991 Parallel model checking for temporal epistemic logic. Zbl 1211.68406Kwiatkowska, Marta; Lomuscio, Alessio; Qu, Hongyang 2 2010 Automatic verification of competitive stochastic systems. Zbl 1352.68150Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis 2 2012 Playing stochastic games precisely. Zbl 1364.91024Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Trivedi, Ashutosh; Ummels, Michael 2 2012 Revisiting timed specification theories: a linear-time perspective. Zbl 1374.68274Chilton, Chris; Kwiatkowska, Marta; Wang, Xu 2 2012 Towards a unifying CSP approach to hierarchical verification of asynchronous hardware. Zbl 1272.68278Wang, X.; Kwiatkowska, M.; Theodoropoulos, G.; Zhang, Q. 2 2005 On the complexity of model checking interval-valued discrete time Markov chains. Zbl 1259.68150Chen, Taolue; Han, Tingting; Kwiatkowska, Marta 2 2013 A refinement-based process algebra for timed automata. Zbl 1101.68694Cattani, Stefano; Kwiatkowska, Marta 2 2005 Defining process fairness for non-interleaving concurrency. Zbl 0744.68048Kwiatkowska, Marta Z. 2 1990 On reduction criteria for probabilistic reward models. Zbl 1177.68150Größer, Marcus; Norman, Gethin; Baier, Christel; Ciesinski, Frank; Kwiatkowska, Marta; Parker, David 2 2006 Probabilistic mobile ambients. Zbl 1183.68400Kwiatkowska, Marta; Norman, Gethin; Parker, David; Vigliotti, Maria Grazia 2 2009 Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. Zbl 1359.68171Jovanović, Aleksandra; Kwiatkowska, Marta; Norman, Gethin; Peyras, Quentin 2 2017 Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. Zbl 07120160Cauchi, Nathalie; Laurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Kwiatkowska, Marta; Cardelli, Luca 2 2019 Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques. Zbl 1412.92150Kwiatkowska, Marta; Mereacre, Alexandru; Paoletti, Nicola; Patanè, Andrea 2 2015 Computing cumulative rewards using fast adaptive uniformization. Zbl 1369.65014Dannenberg, Frits; Hahn, Ernst Moritz; Kwiatkowska, Marta 2 2015 Parameter synthesis for probabilistic timed automata using stochastic game abstractions. Zbl 1393.68095Jovanović, Aleksandra; Kwiatkowska, Marta 2 2014 Expected reachability-time games. Zbl 1339.68146Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh 2 2016 Compositional strategy synthesis for stochastic games with multiple objectives. Zbl 1395.68265Basset, N.; Kwiatkowska, M.; Wiltsche, C. 2 2018 A mass action model of a fibroblast growth factor signaling pathway and its simplification. Zbl 1169.92012Gaffney, E. A.; Heath, J. K.; Kwiatkowska, M. Z. 1 2008 Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk). Zbl 1388.68186Kwiatkowska, Marta Z. 1 2016 Experimental biological protocols with formal semantics. Zbl 1397.92268Abate, Alessandro; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca; Yordanov, Boyan 1 2018 A framework for verification of software with time and probabilities. Zbl 1290.68035Kwiatkowska, Marta; Norman, Gethin; Parker, David 1 2010 On process-algebraic verification of asynchronous circuits. Zbl 1128.68070Wang, Xu; Kwiatkowska, Marta 1 2007 Chemical reaction network designs for asynchronous logic circuits. Zbl 1451.68109Cardelli, Luca; Kwiatkowska, Marta; Whitby, Max 1 2016 A hierarchy of partial order temporal properties. Zbl 0949.68537Kwiatkowska, M.; Peled, D.; Penczek, W. 1 1994 On duality for the modal \(\mu\)-calculus. Zbl 0953.03019Ambler, S.; Kwiatkowska, M.; Measor, N. 1 1994 Out-of-core solution of large linear systems of equations arising from stochastic modelling. Zbl 1065.68500Kwiatkowska, Marta; Mehmood, Rashid 1 2002 Formal and efficient synthesis for continuous-time linear stochastic hybrid processes. Zbl 07320129Laurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Cardelli, Luca; Kwiatkowska, Marta 1 2021 A game-based approximate verification of deep neural networks with provable guarantees. Zbl 1436.68199Wu, Min; Wicker, Matthew; Ruan, Wenjie; Huang, Xiaowei; Kwiatkowska, Marta 4 2020 Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. Zbl 07120160Cauchi, Nathalie; Laurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Kwiatkowska, Marta; Cardelli, Luca 2 2019 Model checking probabilistic systems. Zbl 1392.68227Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta 7 2018 Compositional strategy synthesis for stochastic games with multiple objectives. Zbl 1395.68265Basset, N.; Kwiatkowska, M.; Wiltsche, C. 2 2018 Experimental biological protocols with formal semantics. Zbl 1397.92268Abate, Alessandro; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca; Yordanov, Boyan 1 2018 Precise parameter synthesis for stochastic biochemical systems. Zbl 1373.92038Češka, Milan; Dannenberg, Frits; Paoletti, Nicola; Kwiatkowska, Marta; Brim, Luboš 6 2017 Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. Zbl 1359.68171Jovanović, Aleksandra; Kwiatkowska, Marta; Norman, Gethin; Peyras, Quentin 2 2017 Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision. Zbl 1369.93728Laurenti, Luca; Abate, Alessandro; Bortolussi, Luca; Cardelli, Luca; Ceska, Milan; Kwiatkowska, Marta 1 2017 Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. Zbl 1381.92110Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca 4 2016 Quantitative verification and strategy synthesis for stochastic games. Zbl 1347.93240Svoreňová, Mária; Kwiatkowska, Marta 3 2016 Programming discrete distributions with chemical reaction networks. Zbl 1451.68108Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca 2 2016 Expected reachability-time games. Zbl 1339.68146Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh 2 2016 Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk). Zbl 1388.68186Kwiatkowska, Marta Z. 1 2016 Chemical reaction network designs for asynchronous logic circuits. Zbl 1451.68109Cardelli, Luca; Kwiatkowska, Marta; Whitby, Max 1 2016 Symbolic minimum expected time controller synthesis for probabilistic timed automata. Zbl 1465.68153Jovanović, Aleksandra; Kwiatkowska, Marta; Norman, Gethin 3 2015 Permissive controller synthesis for probabilistic systems. Zbl 1391.68076Dräger, Klaus; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz 2 2015 Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks. Zbl 1381.68140Abate, Alessandro; Brim, Luboš; Češka, Milan; Kwiatkowska, Marta 2 2015 Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques. Zbl 1412.92150Kwiatkowska, Marta; Mereacre, Alexandru; Paoletti, Nicola; Patanè, Andrea 2 2015 Computing cumulative rewards using fast adaptive uniformization. Zbl 1369.65014Dannenberg, Frits; Hahn, Ernst Moritz; Kwiatkowska, Marta 2 2015 Strategy synthesis for stochastic games with multiple long-run objectives. Zbl 1420.91011Basset, Nicolas; Kwiatkowska, Marta; Topcu, Ufuk; Wiltsche, Clemens 1 2015 Verification of Markov decision processes using learning algorithms. Zbl 1448.68290Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz 10 2014 An algebraic theory of interface automata. Zbl 1360.68608Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta 5 2014 Compositional controller synthesis for stochastic games. Zbl 1421.93053Basset, Nicolas; Kwiatkowska, Marta; Wiltsche, Clemens 4 2014 Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. Zbl 1407.68275Abate, Alessandro; Kwiatkowska, Marta; Norman, Gethin; Parker, David 3 2014 Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Zbl 1311.92100Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru 3 2014 Parameter synthesis for probabilistic timed automata using stochastic game abstractions. Zbl 1393.68095Jovanović, Aleksandra; Kwiatkowska, Marta 2 2014 PRISM-games: a model checker for stochastic multi-player games. Zbl 1381.68151Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis 10 2013 Automatic verification of competitive stochastic systems. Zbl 1291.68252Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis 8 2013 On stochastic games with multiple objectives. Zbl 1400.91040Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Wiltsche, Clemens 7 2013 DNA walker circuits: computational potential, design, and verification. Zbl 1409.68099Dannenberg, Frits; Kwiatkowska, Marta; Thachuk, Chris; Turberfield, Andrew J. 6 2013 Compositional probabilistic verification through multi-objective model checking. Zbl 1277.68138Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang 6 2013 Automated verification and strategy synthesis for probabilistic systems. Zbl 1410.68233Kwiatkowska, Marta; Parker, David 5 2013 On the complexity of model checking interval-valued discrete time Markov chains. Zbl 1259.68150Chen, Taolue; Han, Tingting; Kwiatkowska, Marta 2 2013 Pareto curves for probabilistic model checking. Zbl 1374.68285Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David 10 2012 A compositional specification theory for component behaviours. Zbl 1352.68149Chen, Taolue; Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta 9 2012 Probabilistic verification of Herman’s self-stabilisation algorithm. Zbl 1259.68130Kwiatkowska, Marta; Norman, Gethin; Parker, David 9 2012 Automatic verification of competitive stochastic systems. Zbl 1352.68150Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis 2 2012 Playing stochastic games precisely. Zbl 1364.91024Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Trivedi, Ashutosh; Ummels, Michael 2 2012 Revisiting timed specification theories: a linear-time perspective. Zbl 1374.68274Chilton, Chris; Kwiatkowska, Marta; Wang, Xu 2 2012 Quantitative multi-objective verification for probabilistic systems. Zbl 1315.68177Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang 28 2011 Time-bounded verification of CTMCs against real-time specifications. Zbl 1348.68126Chen, Taolue; Diciolla, Marco; Kwiatkowska, Marta; Mereacre, Alexandru 6 2011 Learning-based compositional verification for synchronous probabilistic systems. Zbl 1348.68135Feng, Lu; Han, Tingting; Kwiatkowska, Marta; Parker, David 5 2011 Verifying team formation protocols with probabilistic model checking. Zbl 1348.68255Chen, Taolue; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis 3 2011 A game-based abstraction-refinement framework for Markov decision processes. Zbl 1233.90276Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David 16 2010 Assume-guarantee verification for probabilistic systems. Zbl 1284.68406Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang 12 2010 Expected reachability-time games. Zbl 1290.68073Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh 2 2010 Parallel model checking for temporal epistemic logic. Zbl 1211.68406Kwiatkowska, Marta; Lomuscio, Alessio; Qu, Hongyang 2 2010 A framework for verification of software with time and probabilities. Zbl 1290.68035Kwiatkowska, Marta; Norman, Gethin; Parker, David 1 2010 Stochastic games for verification of probabilistic timed automata. Zbl 1262.68125Kwiatkowska, Marta; Norman, Gethin; Parker, David 12 2009 Abstraction refinement for probabilistic software. Zbl 1206.68090Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David 11 2009 Concavely-priced probabilistic timed automata. Zbl 1254.68136Jurdziński, Marcin; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh 5 2009 Probabilistic mobile ambients. Zbl 1183.68400Kwiatkowska, Marta; Norman, Gethin; Parker, David; Vigliotti, Maria Grazia 2 2009 Probabilistic model checking of complex biological pathways. Zbl 1133.68043Heath, John; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Tymchyshyn, Oksana 21 2008 Multi-objective model checking of Markov decision processes. Zbl 1161.68565Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis 17 2008 Game-based probabilistic predicate abstraction in PRISM. Zbl 1286.68316Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David 5 2008 Combining intra- and inter-cellular dynamics to investigate intestinal homeostasis. Zbl 1375.92015Tymchyshyn, Oksana; Kwiatkowska, Marta 5 2008 A mass action model of a fibroblast growth factor signaling pathway and its simplification. Zbl 1169.92012Gaffney, E. A.; Heath, J. K.; Kwiatkowska, M. Z. 1 2008 Stochastic model checking. Zbl 1323.68379Kwiatkowska, Marta; Norman, Gethin; Parker, David 33 2007 Symbolic model checking for probabilistic timed automata. Zbl 1122.68075Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy; Wang, Fuzhi 19 2007 Multi-objective model checking of Markov decision processes. Zbl 1186.68286Etessami, K.; Kwiatkowska, M.; Vardi, M. Y.; Yannakakis, M. 5 2007 On process-algebraic verification of asynchronous circuits. Zbl 1128.68070Wang, Xu; Kwiatkowska, Marta 1 2007 On process-algebraic verification of asynchronous circuits. Zbl 1137.68456Wang, Xu; Kwiatkowska, Marta 1 2007 Performance analysis of probabilistic timed automata using digital clocks. Zbl 1105.68063Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy 23 2006 Symmetry reduction for probabilistic model checking. Zbl 1188.68194Kwiatkowska, Marta; Norman, Gethin; Parker, David 15 2006 Model checking expected time and expected reward formulae with random time bounds. Zbl 1104.68067Kwiatkowska, M.; Norman, G.; Pacheco, A. 7 2006 On reduction criteria for probabilistic reward models. Zbl 1177.68150Größer, Marcus; Norman, Gethin; Baier, Christel; Ciesinski, Frank; Kwiatkowska, Marta; Parker, David 2 2006 Stochastic transition systems for continuous state spaces and non-determinism. Zbl 1118.68568Cattani, Stefano; Segala, Roberto; Kwiatkowska, Marta; Norman, Gethin 12 2005 Using probabilistic model checking for dynamic power management. Zbl 1080.68601Norman, Gethin; Parker, David; Kwiatkowska, Marta; Shukla, Sandeep; Gupta, Rajesh 4 2005 Towards a unifying CSP approach to hierarchical verification of asynchronous hardware. Zbl 1272.68278Wang, X.; Kwiatkowska, M.; Theodoropoulos, G.; Zhang, Q. 2 2005 A refinement-based process algebra for timed automata. Zbl 1101.68694Cattani, Stefano; Kwiatkowska, Marta 2 2005 Numerical vs. statistical probabilistic model checking: an empirical study. Zbl 1126.68490Younes, Håkan L. S.; Kwiatkowska, Marta; Norman, Gethin; Parker, David 5 2004 Symbolic model checking for probabilistic timed automata. Zbl 1109.68517Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy; Wang, Fuzhi 5 2004 Performance analysis of probabilistic timed automata using digital clocks. Zbl 1099.68534Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy 4 2004 Mathematical techniques for analyzing concurrent and probabilistic systems. Zbl 1069.68074 1 2004 On the use of MTBDDs for performability analysis and verification of stochastic systems. Zbl 1054.68018Hermanns, Holger; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Siegle, Markus 4 2003 PRISM: Probabilistic symbolic model checker. Zbl 1047.68533Kwiatkowska, Marta; Norman, Gethin; Parker, David 48 2002 Automatic verification of real-time systems with discrete probability distributions. Zbl 1050.68094Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy 44 2002 Probabilistic symbolic model checking with PRISM: A hybrid approach. Zbl 1043.68576Kwiatkowska, Marta; Norman, Gethin; Parker, David 11 2002 Probabilistic model checking of the IEEE 802.11 wireless local area network protocol. Zbl 1065.68583Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy 11 2002 Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol. Zbl 1029.68017Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy 8 2002 Model checking CSL until formulae with random time bounds. Zbl 1065.68595Kwiatkowska, Marta; Norman, Gethin; Pacheco, António 5 2002 A symbolic out-of-core solution method for Markov models. Zbl 1270.68232Kwiatkowska, Marta; Mehmood, Rashid; Norman, Gethin; Parker, David 3 2002 Verifying randomized Byzantine agreement. Zbl 1037.68508Kwiatkowska, Marta; Norman, Gethin 3 2002 Out-of-core solution of large linear systems of equations arising from stochastic modelling. Zbl 1065.68500Kwiatkowska, Marta; Mehmood, Rashid 1 2002 Faster and symbolic CTMC model checking. Zbl 1007.68517Katoen, Joost-Pieter; Kwiatkowska, Marta; Norman, Gethin; Parker, David 9 2001 Automated verification of a randomized distributed consensus protocol using cadence SMV and PRISM. Zbl 0991.68503Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto 4 2001 Symbolic computation of maximal probabilistic reachability. Zbl 1006.68096Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy 3 2001 Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation. Zbl 0960.68109de Alfaro, Luca; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Segala, Roberto 13 2000 Domain equations for probabilistic processes. Zbl 0974.68136Baier, Christel; Kwiatkowska, Marta 8 2000 Verifying quantitative properties of continuous probabilistic timed automata. Zbl 0999.68125Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy 7 2000 On topological hierarchies of temporal properties. Zbl 0956.68027Baier, Christel; Kwiatkowska, Marta 2 2000 On the verification of qualitative properties of probabilistic processes under fairness constraints. Zbl 1078.68664Baier, Christel; Kwiatkowska, Marta 9 1998 A testing equivalence for reactive probabilistic processes. Zbl 0917.68154Kwiatkowska, M. Z.; Norman, G. J. 8 1998 Model checking for a probabilistic branching time logic with fairness. Zbl 1448.68285Baier, Christel; Kwiatkowska, Marta 1 1998 Symbolic model checking for probabilistic processes. Zbl 1401.68180Baier, Christel; Clarke, Edmund M.; Hartonas-Garmhausen, Vasiliki; Kwiatkowska, Marta; Ryan, Mark 17 1997 Domain equations for probabilistic processes. Zbl 0911.68087Baier, Christel; Kwiatkowska, Marta 7 1997 A fully abstract metric-space denotational semantics for reactive probabilistic processes. Zbl 0917.68137Kwiatkowska, Marta; Norman, Gethin 3 1997 Duality and the completeness of the modal \(\mu\)-calculus. Zbl 0872.03010Ambler, Simon; Kwiatkowska, Marta; Measor, Nicholas 7 1995 Synchronization trees and fairness: A case study. Zbl 0851.68068Hartonas, Chrysafis; Kwiatkowska, Marta 2 1995 ...and 7 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 774 Authors 37 Kwiatkowska, Marta Z. 24 Katoen, Joost-Pieter 18 Norman, Gethin 14 Baier, Christel 11 Chatterjee, Krishnendu 10 Hermanns, Holger 9 Sproston, Jeremy 9 Zhang, Lijun 8 Junges, Sebastian 7 Peled, Doron A. 6 Bernardo, Marco 6 de Vink, Erik P. 6 Desharnais, Josée 6 Feng, Yuan 6 Gastin, Paul 6 Hahn, Ernst Moritz 6 Hillston, Jane 6 Milazzo, Paolo 5 Abate, Alessandro 5 Ballarini, Paolo 5 Bortolussi, Luca 5 Chen, Taolue 5 Delahaye, Benoît 5 Forejt, Vojtěch 5 Haverkort, Boudewijn R. 5 Legay, Axel 5 Lüttgen, Gerald 5 Maggiolo-Schettini, Andrea 5 Pacheco, António 5 Panangaden, Prakash 5 Vogler, Walter 4 Calder, Muffy 4 Češka, Milan 4 Chmelík, Martin 4 Chu, Dominique 4 D’Argenio, Pedro Rubén 4 Deng, Yuxin 4 Fendrich, Sascha 4 Konur, Savas 4 Křetínský, Jan 4 Lanotte, Ruggero 4 Larsen, Kim Guldstrand 4 Mateus, Paulo C. 4 Morgan, Carroll C. 4 Qu, Hongyang 4 Soudjani, Sadegh 4 Zamani, Majid 3 Bartocci, Ezio 3 Bertrand, Nathalie 3 Bezhanishvili, Nick 3 Bouyer, Patricia 3 Bradley, Jeremy T. 3 Brázdil, Tomáš 3 Brihaye, Thomas 3 Cardelli, Luca 3 Dannenberg, Frits 3 Diekert, Volker 3 Hartmanns, Arnd 3 Hartonas, Chrysafis 3 Jansen, Nils 3 Jurdziński, Marcin 3 Klein, Joachim 3 Krause, Christian 3 Lavaei, Abolfazl 3 Laviolette, François 3 Loreti, Michele 3 McIver, Annabelle K. 3 Nenzi, Laura 3 Silva, Alexandra 3 Sokolova, Ana 3 Thiagarajan, Pazhamaneri Subramaniam 3 Turrini, Andrea 3 van Breugel, Franck 3 Wolf, Verena 3 Yang, Pengfei 3 Ying, Mingsheng 2 Ábrahám, Erika 2 Aichernig, Bernhard K. 2 André, Étienne 2 Baltazar, Pedro 2 Barbuti, Roberto 2 Basset, Nicolas 2 Becker, Bernd 2 Bonchi, Filippo 2 Brim, Luboš 2 Buchholz, Peter 2 Bujtor, Ferenc 2 Caillaud, Benoît 2 Černá, Ivana 2 Chadha, Rohit 2 Chothia, Tom 2 Daca, Przemysław 2 de Alfaro, Luca 2 De Nicola, Rocco 2 Dehnert, Christian 2 Diciolla, Marco 2 Donaldson, Robin A. 2 Dubslaff, Clemens 2 Flegg, Mark B. 2 Foryś, Wit ...and 674 more Authors all top 5 Cited in 64 Serials 72 Theoretical Computer Science 28 Formal Aspects of Computing 23 Information and Computation 23 Formal Methods in System Design 13 Acta Informatica 10 Journal of Computer and System Sciences 9 The Journal of Logic and Algebraic Programming 7 Information Processing Letters 7 Logical Methods in Computer Science 6 Automatica 5 Artificial Intelligence 5 Journal of Theoretical Biology 5 Journal of Logical and Algebraic Methods in Programming 4 Journal of Automated Reasoning 4 Distributed Computing 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 Nonlinear Analysis. Hybrid Systems 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 Mathematical Methods of Operations Research 2 International Journal of Applied Mathematics and Computer Science 2 Natural Computing 2 Computer Science Review 1 Communications in Algebra 1 Journal of Mathematical Biology 1 Bulletin of Mathematical Biology 1 Computing 1 Programming and Computer Software 1 Semigroup Forum 1 SIAM Journal on Control and Optimization 1 Studia Logica 1 Journal of Parallel and Distributed Computing 1 Annals of Operations Research 1 Real-Time Systems 1 Machine Learning 1 Journal of Global Optimization 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 Journal of Mathematical Sciences (New York) 1 The Journal of Artificial Intelligence Research (JAIR) 1 Annals of Mathematics and Artificial Intelligence 1 ACM Transactions on Modeling and Computer Simulation 1 Mathematical Problems in Engineering 1 Theory of Computing Systems 1 Communications in Nonlinear Science and Numerical Simulation 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Applied Mathematics 1 Journal of Machine Learning Research (JMLR) 1 Computer Languages, Systems & Structures 1 Journal of Applied Logic 1 Optimization Letters 1 Algorithms 1 International Journal of Systems Science. Principles and Applications of Systems and Integration 1 Journal of Membrane Computing all top 5 Cited in 24 Fields 364 Computer science (68-XX) 45 Mathematical logic and foundations (03-XX) 45 Probability theory and stochastic processes (60-XX) 39 Operations research, mathematical programming (90-XX) 38 Biology and other natural sciences (92-XX) 29 Systems theory; control (93-XX) 28 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 Information and communication theory, circuits (94-XX) 6 Numerical analysis (65-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Category theory; homological algebra (18-XX) 4 Group theory and generalizations (20-XX) 4 Dynamical systems and ergodic theory (37-XX) 4 General topology (54-XX) 3 Statistics (62-XX) 2 Combinatorics (05-XX) 2 Quantum theory (81-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Ordinary differential equations (34-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Classical thermodynamics, heat transfer (80-XX) Citations by Year