E-mail senden E-Mail Adresse kopieren
Doktorand:in

Matthias Cosler

E-Mail

Telefon

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Gruppenmitglied in

Weitere Informationen

Veröffentlichungen von Matthias Cosler

Jahr 2024

2024-04-05

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis

Konferenz / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2023

2023-07-17

nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models

Konferenz / Medium

Computer Aided Verification (CAV)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2023-05

Iterative Circuit Repair Against Formal Specifications

Konferenz / Medium

International Conference on Learning Representations (ICLR)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen