Dr. Rayna Dimitrova

While being a member of this group or in collaboration with us.

• Probabilistic Hyperproperties of Markov Decision Processes
  Rayna Dimitrova, Bernd Finkbeiner and Hazem Torfah · ATVA 2020
• Approximate Automata for Omega-regular Languages
  Rayna Dimitrova, Bernd Finkbeiner and Hazem Torfah · ATVA 2019
• Synthesizing Approximate Implementations for Unrealizable Specifications
  Rayna Dimitrova, Bernd Finkbeiner and Hazem Torfah · CAV 2019
• Lossy Channel Games under Incomplete Information
  Rayna Dimitrova and Bernd Finkbeiner · SR 2013
• Monitoring Temporal Information Flow
  Rayna Dimitrova, Bernd Finkbeiner and Markus N. Rabe · ISoLA 2012
• Counterexample-guided Synthesis of Observation Predicates
  Rayna Dimitrova and Bernd Finkbeiner · FORMATS 2012
• Model Checking Information Flow in Reactive Systems
  Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe and Helmut Seidl · VMCAI 2012 · RS3 Best Paper Award 2011/2012
• Synthesis of Fault-Tolerant Distributed Systems
  Rayna Dimitrova and Bernd Finkbeiner · ATVA 2009
• Abstraction Refinement for Games with Incomplete Information
  Rayna Dimitrova and Bernd Finkbeiner · FSTTCS 08
• Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?
  Rayna Dimitrova and Andreas Podelski · VMCAI 2008

While being a member of this group or in collaboration with us.

• Synthesis and Control of Infinite-State Systems with Partial Observability
  Rayna Dimitrova · UdS