Dimitrova, Rayna
- Approximate Counting in SMT and Value Estimation for Probabilistic Programs
2014/11/03 by Chistikov, Dmitry, Dimitrova, Rayna, Majumdar, Rupak · 4 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Solving Infinite-State Games via Acceleration (Full Version)
2023/05/25 by Heim, Philippe, Dimitrova, Rayna · 5 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Probabilistic Hyperproperties of Markov Decision Processes
2020/05/07 by Dimitrova, Rayna, Finkbeiner, Bernd, Torfah, Hazem · 3 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
2025/02/05 by Philippe Heim, Heim, Philippe, Rayna Dimitrova +1 · 3 citations
Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)
- Localized Attractor Computations for Infinite-State Games (Full Version)
2024/05/15 by Anne-Kathrin Schmuck, Schmuck, Anne-Kathrin, Philippe Heim +5 · 2 citations
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)
2024/11/11 by Philippe Heim, Heim, Philippe, Rayna Dimitrova +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Semantic Web and Ontologies