LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties

Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin +1 more
8/29/2023
cs.LOcs.AIcs.FL

No confident code implementation found for this paper.

Abstract

In this paper, we study LTLf synthesis under environment specifications for arbitrary reachability and safety properties. We consider both kinds of properties for both agent tasks and environment specifications, providing a complete landscape of synthesis algorithms. For each case, we devise a specific algorithm (optimal wrt complexity of the problem) and prove its correctness. The algorithms combine common building blocks in different ways. While some cases are already studied in literature others are studied here for the first time.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Cite this paper

@article{aminof2023ltlf,
  title  = {LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties},
  author = {Benjamin Aminof and Giuseppe De Giacomo and Antonio Di Stasio and Hugo Francon and Sasha Rubin and Shufang Zhu},
  year   = {2023},
  eprint = {2308.15184},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2308.15184v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2308.15184.svg)](https://codeofpaper.com/paper/2308.15184)

Discussion