Send email Copy Email Address
PhD Student

Rafael Dewes

Email

Phone

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Member of Groups

Further Information

Publications by Rafael Dewes

Year 2025

2025-02-25

Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements

Conference / Medium

National Conference of the American Association for Artificial Intelligence (AAAI)

Tags
Reliable Security Guarantees
Authors
Visit Detail Page

Year 2023

2023-10

Compositional High-Quality Synthesis

Conference / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page