Cited By
View all- Samari BRossa MLavaei ASoudjani SJungers R(2024)Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump SystemsIFAC-PapersOnLine10.1016/j.ifacol.2024.07.42658:11(63-68)Online publication date: 2024
While reactive synthesis and syntax-guided synthesis (SyGuS) have seen enormous progress in recent years, combining the two approaches has remained a challenge. In this work, we present the synthesis of reactive programs from Temporal Stream Logic ...
This paper presents an introduction to and a formal connection between synthesis problems for discrete event systems that have been considered, largely separately, in the two research communities of supervisory control in control engineering and ...
While reactive synthesis and syntax-guided synthesis (SyGuS) have seen enormous progress in recent years, combining the two approaches has remained a challenge. In this work, we present the synthesis of reactive programs from Temporal Stream Logic ...
Association for Computing Machinery
New York, NY, United States
View or Download as a PDF file.
PDFView online with eReader.
eReaderView this article in HTML Format.
HTML FormatCheck if you have access through your login credentials or your institution to get full access on this article.
Sign in