Feed Search Library Collections

Improvements to ltlsynt

Abstract

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

0

Discussion (0)

Sign in to join the discussion.

Loading comments…

arXiv:2201.05376

Published January 14, 2022

Authors

FRFlorian Renkin
PSPhilipp Schlehuber
ADAlexandre Duret-Lutz
APAdrien Pommellet

Journal: 10th Workshop on Synthesis, Jul 2021, Los Angeles, United States

Latest Papers Trending Top Today Top This Week AI Papers Machine Learning Computer Vision NLP Statistics ML Optimization

ArcXiv is an independent project and is not affiliated with arXiv or Cornell University. Metadata-only — PDFs link to arXiv.arxiv.org