Matthias Cosler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | TACAS | NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. | Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt |
| 2023 | CAV | nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. | Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel |
| 2023 | ICLR | Iterative Circuit Repair Against Formal Specifications. | Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner |