finite trace

Monitoring Arithmetic Temporal Properties on Finite Traces AAAI 2023 Linear Temporal Logic Modulo Theories over Finite Traces IJCAI 2022 LTL on Weighted Finite Traces: Formal Foundations and Algorithms IJCAI 2022 Synthesis of Maximally Permissive Strategies for LTLf Specifications IJCAI 2022 Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces IJCAI 2022 HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs IJCAI 2021 On-the-fly Synthesis for LTL over Finite Traces AAAI 2021 LTLƒ Synthesis with Fairness and Stability Assumptions AAAI 2020 Pure-Past Linear Temporal and Dynamic Logic on Finite Traces IJCAI 2020 Temporal Logics Over Finite Traces with Uncertainty AAAI 2020 Do You Need Infinite Time? IJCAI 2019 Alternating-time Temporal Logic on Finite Traces IJCAI 2018 Symbolic LTLf Synthesis IJCAI 2017