Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marta Kwiatkowska
Automated Verification Techniques for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Communication-Based Steering of Complex Distributed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Time-Bounded Verification of CTMCs Against Real-Time Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Incremental Runtime Verification of Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Chemical Reaction Network Designs for Asynchronous Logic Circuits
Natural Computing
Computer Science Applications
Model Repair for Markov Decision Processes
Automated Recognition of Sleep Arousal Using Multimodal and Personalized Deep Ensembles of Neural Networks
Advances and Challenges of Probabilistic Model Checking
Statistical Guarantees for the Robustness of Bayesian Neural Networks
Multi-Objective Model Checking of Markov Decision Processes
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
1
2
›
