# Rayna Dimitrova

According to our database

Collaborative distances:

^{1}, Rayna Dimitrova authored at least 24 papers between 2008 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Maximum Realizability for Linear Temporal Logic Specifications.

CoRR, 2018

Reachability analysis of reversal-bounded automata on series-parallel graphs.

Acta Inf., 2018

Maximum Realizability for Linear Temporal Logic Specifications.

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Synthesis of surveillance strategies via belief abstraction.

CoRR, 2017

The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.

CoRR, 2017

Approximate counting in SMT and value estimation for probabilistic programs.

Acta Inf., 2017

The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Probabilistic CTL

^{*}: The Deductive Way.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Robust optimal policies for Markov decision processes with safety-threshold constraints.

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Symbolic Model Checking for Factored Probabilistic Models.

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs.

Proceedings of the Proceedings Sixth International Symposium on Games, 2015

Approximate Counting in SMT and Value Estimation for Probabilistic Programs.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

Synthesis and control of infinite-state systems with partial observability.

PhD thesis, 2014

Abstractions and sensor design in partial-information, reactive controller synthesis.

CoRR, 2014

Approximate Counting in SMT and Value Estimation for Probabilistic Programs.

CoRR, 2014

Deductive control synthesis for alternating-time logics.

Proceedings of the 2014 International Conference on Embedded Software, 2014

Abstractions and sensor design in partial-information, reactive controller synthesis.

Proceedings of the American Control Conference, 2014

2013

Lossy Channel Games under Incomplete Information

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

2012

Model Checking Information Flow in Reactive Systems.

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Monitoring Temporal Information Flow.

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Counterexample-Guided Synthesis of Observation Predicates.

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2009

Synthesis of Fault-Tolerant Distributed Systems.

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?

Proceedings of the Verification, 2008

Abstraction Refinement for Games with Incomplete Information.

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008