FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
LTLf? It's Easy! Precisely!

Author: Giuseppe De Giacomo

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:LTLf? It's Easy! Precisely!
Authors:Giuseppe De Giacomo
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Linear Time Logic on Finite Traces, Synthesis, Automata, Artificial Intelligence
Pages:1
Paper: