Concepedia

Rayna Dimitrova

RD

7

Publications

139

Citations

7

H-Index

2008

Active since

Affiliations

The University of Texas at Austin(Current)

Saarland University

Max Planck Institute for Software Systems

University of Leicester

Helmholtz Center for Information Security

Rayna Dimitrova is an author at The University of Texas at Austin specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningSystems EngineeringRoboticsAutomationFormal MethodsComputer EngineeringPhysicsSpectroscopy

Publications per year

2008–2024

7

Publications

7

Deductive control synthesis for alternating-time logics

Rayna Dimitrova, Rupak Majumdar · 2014 · 34 citations

Logic Synthesis, Cyber Physical Systems, Engineering +15

Synthesis of Surveillance Strategies via Belief Abstraction

Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu · 2018 · 26 citations · Full text

Artificial Intelligence, Engineering, Intelligent Robotics +19

Synthesis of Minimum-Cost Shields for Multi-agent Systems

Suda Bharadwaj, Roderick Bloem, Rayna Dimitrova et al. · 2019 · 20 citations · Full text

Mathematical Programming, Engineering, Aerospace Engineering +15

Approximate counting in SMT and value estimation for probabilistic programs

Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar · Acta Informatica · 2017 · 19 citations · Full text

Abstraction Refinement for Games with Incomplete Information

Rayna Dimitrova, Bernd Finkbeiner · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2008 · 16 citations · Full text

Rows per page

1–5 of 7