The following pages link to Marta Kwiatkowska (Q278754):
Displaying 9 items.
- Expected reachability-time games (Q278757) (← links)
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- An algebraic theory of interface automata (Q402131) (← links)
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
- Duality and the completeness of the modal \(\mu\)-calculus (Q671986) (← links)
- Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk) (Q4598136) (← links)
- Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper). (Q5875362) (← links)
- Chemical reaction network designs for asynchronous logic circuits (Q6084209) (← links)
- Programming discrete distributions with chemical reaction networks (Q6084210) (← links)
