``Most of leads to undecidability: failure of adding frequencies to LTL
From MaRDI portal
Publication:2233396
DOI10.1007/978-3-030-71995-1_5OpenAlexW3151945801MaRDI QIDQ2233396
Bartosz Bednarczyk, Jakub Michaliszyn
Publication date: 18 October 2021
Full work available at URL: https://arxiv.org/abs/2007.01233
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Real-time logics: Complexity and expressiveness
- ``Most of leads to undecidability: failure of adding frequencies to LTL
- Two-variable first order logic with counting quantifiers: complexity results
- LTL over integer periodicity constraints
- First-order logic with two variables and unary temporal logic
- Temporal Logics in Computer Science
- Temporal Specifications with Accumulative Values
- Typed Monoids – An Eilenberg-Like Theorem for Non Regular Languages
- Averaging in LTL
- Regular Languages Definable by Majority Quantifiers with Two Variables
- Path Logics for Querying Graphs: Combining Expressiveness and Efficiency
- Affine Parikh automata
- Model-Checking Counting Temporal Logics on Flat Structures
- On the decidability and complexity of Metric Temporal Logic over finite words
- Latticed-LTL Synthesis in the Presence of Noisy Inputs
- Two-variable Logic with Counting and a Linear Order
This page was built for publication: ``Most of leads to undecidability: failure of adding frequencies to LTL
