Send email Copy Email Address
PhD Student

Matthias Cosler

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

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) NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis

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) nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models

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