FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
LTLf Synthesis Under Environment Specifications

Author: Antonio Di Stasio

Paper Information

Title:LTLf Synthesis Under Environment Specifications
Authors:Antonio Di Stasio
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Linear-time Temporal Logic on Finite and Infinite Traces, Synthesis under Environment Specifications, Automata-Theoretic Approach
Pages:1
Talk:Jul 31 15:00 (Session 17)
Paper: