5 citations · 6 across the 2 of their papers we have counts for
4 papers · 1 filter
Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements
Rafael Dewes, Rayna Dimitrova
Quantitative requirements play an important role in the context of multi-agent systems, where there is often a trade-off between the tasks of individual agents and the constraints…
Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)
Philippe Heim, Rayna Dimitrova
Infinite-state reactive synthesis has attracted significant attention in recent years, which has led to the emergence of novel symbolic techniques for solving infinite-state games.…
Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version)
Philippe Heim, Rayna Dimitrova
Automatic synthesis from temporal logic specifications is an attractive alternative to manual system design, due to its ability to generate correct-by-construction implementations…
Proceedings Fifth Workshop on Synthesis
Ruzica Piskac, Rayna Dimitrova
The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in…