Bookmark Saya

arXiv Open Access 2022

Improvements to ltlsynt

Florian Renkin Philipp Schlehuber Alexandre Duret-Lutz Adrien Pommellet
Lihat Sumber

Abstrak

ltlsynt is a tool for LTL reactive synthesis. We summarize its evolution since 2018.

Topik & Kata Kunci

cs.FL

Penulis (4)

F

Florian Renkin

P

Philipp Schlehuber

A

Alexandre Duret-Lutz

A

Adrien Pommellet

Format Sitasi

APA MLA BibTeX
Renkin, F., Schlehuber, P., Duret-Lutz, A., Pommellet, A. (2022). Improvements to ltlsynt. https://arxiv.org/abs/2201.05376

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2022
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓