Rayna Dimitrova

Available identifiers

Publication	Date of Publication	Type
Synthesizing approximate implementations for unrealizable specifications	2024-02-16	Paper
Maximum realizability for linear temporal logic specifications	2023-07-28	Paper
Probabilistic Hyperproperties of Markov Decision Processes	2022-12-22	Paper
https://portal.mardi4nfdi.de/entity/Q5028468	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5013881	2021-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q3388743	2021-05-06	Paper
Approximate Automata for Omega-Regular Languages	2020-07-20	Paper
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards	2020-05-27	Paper
Reactive synthesis with maximum realizability of linear temporal logic specifications	2020-03-06	Paper
Probabilistic \(\mathrm{CTL}^*\): the deductive way	2019-09-17	Paper
Approximate Counting in SMT and Value Estimation for Probabilistic Programs	2019-09-17	Paper
Symbolic model checking for factored probabilistic models	2018-10-25	Paper
Reachability analysis of reversal-bounded automata on series-parallel graphs	2018-04-10	Paper
Approximate counting in SMT and value estimation for probabilistic programs	2017-12-01	Paper
Counterexample-Guided Synthesis of Observation Predicates	2012-11-21	Paper
Abstraction Refinement for Games with Incomplete Information.	2012-10-19	Paper
Model Checking Information Flow in Reactive Systems	2012-06-15	Paper
Synthesis of Fault-Tolerant Distributed Systems	2009-12-01	Paper
Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?	2008-04-04	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Rayna Dimitrova