Search results
From MaRDI portal
- conditions for automata on \(\omega\)-languages 1988-01-01 Paper Characterization of \(\omega\)-regular languages by monadic second-order formulas 1986-01-01...10 bytes (16 words) - 09:18, 7 October 2023
- mardi4nfdi.de/entity/Q4986512 2021-04-27 Paper Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts...10 bytes (19 words) - 02:45, 10 December 2023
- of \(\omega\)-languages 1987-01-01 Paper The greatest fixed-points and rational omega-tree languages 1986-01-01 Paper Characterization of \(\omega\)-regular...10 bytes (16 words) - 06:01, 7 October 2023
- Schemes, and Downward Closures 2023-05-19 Paper Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts...10 bytes (16 words) - 22:50, 24 September 2023
- Publication Type On uniqueness of alphabetical decoding of \({\omega}\)-regular languages 2015-11-11 Paper On uniqueness of alphabetic decoding 2013-06-24...10 bytes (18 words) - 09:43, 24 September 2023
- Balanced-by-Construction Regular and ω-Regular Languages 2023-08-15 Paper Balanced-by-construction regular and \(\omega \)-regular languages 2022-03-25 Paper...10 bytes (16 words) - 10:30, 7 October 2023
- mardi4nfdi.de/entity/Q3785942 1987-01-01 Paper Characterization of \(\omega\)-regular languages by monadic second-order formulas 1986-01-01 Paper On proving time...10 bytes (16 words) - 22:48, 24 September 2023
- Markov decision processes 2022-03-25 Paper Approximate Automata for Omega-Regular Languages 2020-07-20 Paper Synthesizing skeletons for reactive systems 2018-10-25...10 bytes (16 words) - 09:41, 6 October 2023
- Session Types 2022-10-13 Paper Balanced-by-construction regular and \(\omega \)-regular languages 2022-03-25 Paper Formalizing propagation of priorities...10 bytes (20 words) - 10:58, 6 October 2023
- Intuitionistically Closed Regular Properties 2009-02-12 Paper Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages 2008-04-11 Paper...10 bytes (18 words) - 07:27, 7 October 2023
- mardi4nfdi.de/entity/Q5111452 2020-05-27 Paper Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts...10 bytes (16 words) - 11:30, 7 October 2023
- mardi4nfdi.de/entity/Q3388743 2021-05-06 Paper Approximate Automata for Omega-Regular Languages 2020-07-20 Paper The Robot Routing Problem for Collecting Aggregate...10 bytes (16 words) - 18:38, 24 September 2023
- temporal logic specifications and \(\omega\)-regular languages 1999-03-30 Paper Computing the rabin index of a regular language of infinite words 1997-10-13 Paper...10 bytes (16 words) - 06:44, 9 December 2023
- fication to the Full Class of Omega-Regular Languages 2008-04-11 Paper GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic 2008-04-11...10 bytes (18 words) - 20:22, 6 October 2023
- Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages 2008-04-11 Paper Causal Atomicity 2007-09-05 Paper Causal Dataflow...10 bytes (16 words) - 09:41, 6 October 2023
- mardi4nfdi.de/entity/Q4963897 2021-02-24 Paper Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts...10 bytes (21 words) - 07:26, 12 December 2023
- Model Checking, and Abstract Interpretation 2005-12-06 Paper \(\omega\)-regular languages are testable with a constant number of queries 2005-02-09 Paper...10 bytes (16 words) - 09:24, 25 September 2023
- Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages 2008-04-11 Paper Automated Technology for Verification and Analysis...10 bytes (18 words) - 09:41, 6 October 2023
- checking closure properties of temporal logic specifications and \(\omega\)-regular languages 1999-03-30 Paper https://portal.mardi4nfdi.de/entity/Q4219027 1999-02-14...10 bytes (17 words) - 10:48, 6 October 2023
- Games 1993-04-01 Paper The Hausdorff-Kuratowski hierarchy of \(\omega\)-regular languages and a hierarchy of Muller automata 1992-06-28 Paper On the Borel...10 bytes (16 words) - 21:27, 22 September 2023
