Dimitrova, Rayna

2 publications

AAAI 2025 Contract-Based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements Rafael Dewes, Rayna Dimitrova

IJCAI 2025 Synthesis of Communication Policies for Multi-Agent Systems Robust to Communication Restrictions Saleh Soudijani, Rayna Dimitrova