An interval temporal logic characterization of extended \(\omega\)-regular languages. (English) Zbl 07691017
MSC:
68Qxx
Found 18 Documents (Results 1–18)
Church synthesis on register automata over linearly ordered data domains. (English) Zbl 07815091
MSC:
68-XX
The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic. (English) Zbl 1523.03016
Reviewer: Roger Villemaire (Montréal)
Wadge-Wagner hierarchies. (English) Zbl 1528.03197
Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 695-728 (2021).
Reviewer: Klaus D. Kiermeier (Berlin)
Extensions of \(\omega \)-regular languages. (English) Zbl 1498.03022
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 266-272 (2020).
Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts. (English) Zbl 1433.68192
Recursion schemes and the WMSO+U logic. (English) Zbl 1491.03010
Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 53, 16 p. (2018).
Parameterized linear temporal logics meet costs: still not costlier than LTL. (English) Zbl 1390.68445
Beyond \(\omega BS\)-regular languages: \(\omega T\)-regular expressions and counter-check automata. (English) Zbl 1483.68160
Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 223-237 (2017).
MSC:
68Q45
Finite-state strategies in delay games. (English) Zbl 1484.91014
Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 151-165 (2017).
Automata on infinite trees with equality and disequality constraints between siblings. (English) Zbl 1401.68152
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 227-236 (2016).
Parameterized linear temporal logics meet costs: still not costlier than LTL. (English) Zbl 1476.03020
Esparza, Javier (ed.) et al., Proceedings of the sixth international symposium on games, automata, logics and formal verification, GandALF 2015, Genoa, Italy, September 21–22, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 193, 144-157 (2015).
Delay games with WMSO+U winning conditions. (English) Zbl 1356.68137
Beklemishev, D. (ed.) et al., Computer science – theory and applications. 10th international computer science symposium in Russia, CSR 2015, Listvyanka, Russia, July 13–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20296-9/pbk; 978-3-319-20297-6/ebook). Lecture Notes in Computer Science 9139, 412-425 (2015).
Adding an equivalence relation to the interval logic \(AB\bar{B}\): complexity and expressiveness. (English) Zbl 1366.03185
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 193-202 (2013).
Filter Results by …
Document Type
- Journal Articles (9)
- Collection Articles (9)
all
top 5
Author
- Zimmermann, Martin (6)
- Montanari, Angelo (5)
- Sala, Pietro (5)
- Della Monica, Dario (3)
- Parys, Paweł (3)
- Barozzini, David (1)
- Bojańczyk, Mikołaj (1)
- Carayol, Arnaud (1)
- de Frutos-Escrig, David (1)
- Duparc, Jacques (1)
- Exibard, Léo (1)
- Filiot, Emmanuel (1)
- Kelmendi, Edon (1)
- Khalimov, Ayrat (1)
- Löding, Christof (1)
- Pazzaglia, Marco (1)
- Serre, Olivier (1)
- Stefański, Rafał (1)
- Winter, Sarah (1)
- Zetzsche, Georg (1)
all
top 5
Serial
- Acta Inf. (2)
- Theor. Comput. Sci. (2)
- Inf. Comput. (2)
- Form. Methods Syst. Des. (1)
- Log. Methods Comput. Sci. (1)
- RAIRO, Theor. Inform. Appl. (1)
Software
- TravMC2 (2)
