Send email Copy Email Address
PhD Student

Matthias Cosler

Email

Phone

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Further Information

Publications by Matthias Cosler

Year 2024

2024-04-05

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis

Conference / Medium

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

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page

Year 2023

2023-07-17

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

Conference / Medium

Computer Aided Verification (CAV)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2023-05

Iterative Circuit Repair Against Formal Specifications

Conference / Medium

International Conference on Learning Representations (ICLR)

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page