BibTeX records: Matthias Cosler

• > Home > Persons > Matthias Cosler

@article{DBLP:journals/corr/abs-2510-01853,
  author       = {Vladimir Krsmanovic and
                  Matthias Cosler and
                  Mohamed Ghanem and
                  Bernd Finkbeiner},
  title        = {Learning Representations Through Contrastive Neural Model Checking},
  journal      = {CoRR},
  volume       = {abs/2510.01853},
  year         = {2025},
  url          = {https://doi.org/10.48550/arXiv.2510.01853},
  doi          = {10.48550/ARXIV.2510.01853},
  eprinttype    = {arXiv},
  eprint       = {2510.01853},
  timestamp    = {Sat, 08 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2510-01853.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/CoslerHOS24,
  author       = {Matthias Cosler and
                  Christopher Hahn and
                  Ayham Omar and
                  Frederik Schmitt},
  editor       = {Bernd Finkbeiner and
                  Laura Kov{\'{a}}cs},
  title        = {NeuroSynt: {A} Neuro-symbolic Portfolio Solver for Reactive Synthesis},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 30th International Conference, {TACAS} 2024, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
                  Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14572},
  pages        = {45--67},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57256-2\_3},
  doi          = {10.1007/978-3-031-57256-2\_3},
  timestamp    = {Sat, 08 Jun 2024 13:13:56 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/CoslerHOS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2401-12131,
  author       = {Matthias Cosler and
                  Christopher Hahn and
                  Ayham Omar and
                  Frederik Schmitt},
  title        = {NeuroSynt: {A} Neuro-symbolic Portfolio Solver for Reactive Synthesis},
  journal      = {CoRR},
  volume       = {abs/2401.12131},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.12131},
  doi          = {10.48550/ARXIV.2401.12131},
  eprinttype    = {arXiv},
  eprint       = {2401.12131},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-12131.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/CoslerHMST23,
  author       = {Matthias Cosler and
                  Christopher Hahn and
                  Daniel Mendoza and
                  Frederik Schmitt and
                  Caroline Trippel},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {nl2spec: Interactively Translating Unstructured Natural Language to
                  Temporal Logics with Large Language Models},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13965},
  pages        = {383--396},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37703-7\_18},
  doi          = {10.1007/978-3-031-37703-7\_18},
  timestamp    = {Tue, 12 Sep 2023 07:57:21 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CoslerHMST23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclr/CoslerSHF23,
  author       = {Matthias Cosler and
                  Frederik Schmitt and
                  Christopher Hahn and
                  Bernd Finkbeiner},
  title        = {Iterative Circuit Repair Against Formal Specifications},
  booktitle    = {The Eleventh International Conference on Learning Representations,
                  {ICLR} 2023, Kigali, Rwanda, May 1-5, 2023},
  publisher    = {OpenReview.net},
  year         = {2023},
  url          = {https://openreview.net/forum?id=SEcSahl0Ql},
  timestamp    = {Wed, 24 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclr/CoslerSHF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2303-01158,
  author       = {Matthias Cosler and
                  Frederik Schmitt and
                  Christopher Hahn and
                  Bernd Finkbeiner},
  title        = {Iterative Circuit Repair Against Formal Specifications},
  journal      = {CoRR},
  volume       = {abs/2303.01158},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2303.01158},
  doi          = {10.48550/ARXIV.2303.01158},
  eprinttype    = {arXiv},
  eprint       = {2303.01158},
  timestamp    = {Mon, 06 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-01158.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2303-04864,
  author       = {Matthias Cosler and
                  Christopher Hahn and
                  Daniel Mendoza and
                  Frederik Schmitt and
                  Caroline Trippel},
  title        = {nl2spec: Interactively Translating Unstructured Natural Language to
                  Temporal Logics with Large Language Models},
  journal      = {CoRR},
  volume       = {abs/2303.04864},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2303.04864},
  doi          = {10.48550/ARXIV.2303.04864},
  eprinttype    = {arXiv},
  eprint       = {2303.04864},
  timestamp    = {Wed, 15 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-04864.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}