DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Marta Kwiatkowska
Marta Kwiatkowska
Professor Marta Kwiatkowska
Current Issue of FACS FACTS
Dr Gordon Baxter, University of St Andrews
Mathematics People
ICML 2019 Workshop Book Generated Sat Jul 06, 2019
Safety Verification for Deep Neural
Arxiv:1906.09142V3 [Cs.LO] 17 Jul 2019 Reason About a Range of Quantitative Aspects of a System’S Behaviour: Probability, Time, Resource Usage, and Many Others
Some Directed Graph Algorithms and Their Application to Pointer Analysis
Diadem and Veriware Press Release
Safety Verification for Deep Neural Networks with Provable
Prototyping Parallel Functional Intermediate Languages
Notices Ofof the American Mathematicalmathematical Society June/July 2019 Volume 66, Number 6
Contents U U U
Automated Verification Techniques for Probabilistic Systems Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, David Parker
Invited Talk: Marta Kwiatkowska
Model Checking and Strategy Synthesis for Stochastic Games: from Theory to Practice∗
Computer Science 2019 APR Self-Study & Documents
Trustees' Report and Financial Statements 2019-2020
Top View
Probabilistic Model Checking: Advances and Applications 3
10760 Annual Report 2005 05/07/2012 08:15 Page 4
Encaenia 2019
Biomedical and Life Sciences
Modeling and Verifying Parallel Processes
Association for Computing Machinery 2 Penn Plaza, Suite 701, New York
Contributors to the Climate Change
Martha-Interview.Pdf
Directory 2016