Search results for "omega-regular"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Hana Chockler, Orna Kupferman	omega-Regular Languages Are Testable with a Constant Number of Queries.	RANDOM	2002	DBLP DOI BibTeX RDF
51	Eryk Kopczynski	Omega-Regular Half-Positional Winning Conditions.	CSL	2007	DBLP DOI BibTeX RDF	omega-regular languages, positional strategies, winning condtions, automata, infinite games
48	Eugene Asarin, Paul Caspi, Oded Maler	A Kleene Theorem for Timed Automata.	LICS	1997	DBLP DOI BibTeX RDF	Kleene theorem, timed regular expressions, dense-time discrete-valued signals, /spl omega/-regular expressions, timed automata, expressive power, automata theory
46	Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger, Jean-François Raskin	Algorithms for Omega-Regular Games with Imperfect Information, .	CSL	2006	DBLP DOI BibTeX RDF
41	Kousha Etessami	Stutter-Invariant Languages, omega-Automata, and Temporal Logic.	CAV	1999	DBLP DOI BibTeX RDF
41	Rajeev Alur, Gera Weiss	Regular Specifications of Resource Requirements for Embedded Control Software.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	Sheduling, omega-regular, LQG, resource allocation, control, embedded, specification language, automata, exponential stability
41	Ichiro Suzuki	Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	temporal Petri nets, omega -regular expressions, Buchi-automata, formal specification, formal specification, Petri nets, formal verification, program verification, programming theory, transitions, formal analysis, automata theory, firings, formulas, alternating bit protocol, temporal operators
40	Luca de Alfaro	The Symbolic Approach to Repeated Games (Abstract).	CSL	2007	DBLP DOI BibTeX RDF
36	Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger	Expressiveness and Closure Properties for Quantitative Languages.	LICS	2009	DBLP DOI BibTeX RDF
36	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Counterexample-Guided Control.	ICALP	2003	DBLP DOI BibTeX RDF
34	Luca de Alfaro, Thomas A. Henzinger	Concurrent Omega-Regular Games.	LICS	2000	DBLP DOI BibTeX RDF
30	Tomasz Brengos	A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with Internal Moves.	CONCUR	2018	DBLP DOI BibTeX RDF
30	Thomas Colcombet, Nathanaël Fijalkow	The Bridge Between Regular Cost Functions and Omega-Regular Languages.	ICALP	2016	DBLP DOI BibTeX RDF
24	Nathalie Bertrand 0001, Patricia Bouyer, Thomas Brihaye, Nicolas Markey	Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics.	QEST	2008	DBLP DOI BibTeX RDF
22	Mateo Perez, Fabio Somenzi, Ashutosh Trivedi 0001	A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs.	AAAI	2024	DBLP DOI BibTeX RDF
22	Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak	Omega-Regular Decision Processes.	AAAI	2024	DBLP DOI BibTeX RDF
22	Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak	Omega-Regular Reward Machines.	CoRR	2023	DBLP DOI BibTeX RDF
22	Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak	Omega-Regular Decision Processes.	CoRR	2023	DBLP DOI BibTeX RDF
22	Mateo Perez, Fabio Somenzi, Ashutosh Trivedi 0001	A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs.	CoRR	2023	DBLP DOI BibTeX RDF
22	Amin Falah, Shibashis Guha, Ashutosh Trivedi 0001	Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP.	CoRR	2023	DBLP DOI BibTeX RDF
22	Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani	Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness.	TheoretiCS	2023	DBLP DOI BibTeX RDF
22	Raven Beutner, Bernd Finkbeiner	Model Checking Omega-Regular Hyperproperties with AutoHyperQ.	LPAR	2023	DBLP DOI BibTeX RDF
22	Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak	Omega-Regular Reward Machines.	ECAI	2023	DBLP DOI BibTeX RDF
22	Amin Falah, Shibashis Guha, Ashutosh Trivedi 0001	Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP.	ICAPS	2023	DBLP DOI BibTeX RDF
22	Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi 0001	Optimal Repair For Omega-regular Properties.	CoRR	2022	DBLP DOI BibTeX RDF
22	Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani	Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness.	CoRR	2022	DBLP BibTeX RDF
22	Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi 0001	Optimal Repair for Omega-Regular Properties.	ATVA	2022	DBLP DOI BibTeX RDF
22	Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi 0001, George K. Atia	Controller Synthesis for Omega-Regular and Steady-State Specifications. (PDF / PS)	AAMAS	2022	DBLP BibTeX RDF
22	Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi 0001, Alvaro Velasquez	Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning. (PDF / PS)	AAMAS	2022	DBLP BibTeX RDF
22	Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup	Realizing Omega-regular Hyperproperties.	CoRR	2021	DBLP BibTeX RDF
22	Alvaro Velasquez, Ashutosh Trivedi 0001, Ismail Alkhouri, Andre Beckus, George K. Atia	Controller Synthesis for Omega-Regular and Steady-State Specifications.	CoRR	2021	DBLP BibTeX RDF
22	Victor L. Selivanov	Wadge Degrees of Classes of omega-Regular k-Partitions.	CoRR	2021	DBLP BibTeX RDF
22	Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak	Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives.	FM	2021	DBLP DOI BibTeX RDF
22	Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert	Efficient Algorithms for Omega-Regular Energy Games.	FM	2021	DBLP DOI BibTeX RDF
22	Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak	Reward Shaping for Reinforcement Learning with Omega-Regular Objectives.	CoRR	2020	DBLP BibTeX RDF
22	Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert	Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games.	CoRR	2020	DBLP BibTeX RDF
22	Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah	Approximate Automata for Omega-Regular Languages.	CoRR	2020	DBLP BibTeX RDF
22	Maxence Dutreix, Jeongmin Huh, Samuel Coogan 0001	Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives.	CoRR	2020	DBLP BibTeX RDF
22	Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak	Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives.	ATVA	2020	DBLP DOI BibTeX RDF
22	Jianhui Chen, Fei He 0001	Proving almost-sure termination by omega-regular decomposition.	PLDI	2020	DBLP DOI BibTeX RDF
22	Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah	Approximate Automata for Omega-Regular Languages.	ATVA	2019	DBLP DOI BibTeX RDF
22	Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak	Omega-Regular Objectives in Model-Free Reinforcement Learning.	TACAS (1)	2019	DBLP DOI BibTeX RDF
22	Yong Li 0031, Xuechao Sun, Andrea Turrini, Yu-Fang Chen 0001, Junnan Xu	ROLL 1.0: \omega -Regular Language Learning Library.	TACAS (1)	2019	DBLP DOI BibTeX RDF
22	Jan Kretínský, Guillermo A. Pérez 0001, Jean-François Raskin	Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints.	CoRR	2018	DBLP BibTeX RDF
22	Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin	Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives.	CoRR	2018	DBLP BibTeX RDF
22	Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak	Omega-Regular Objectives in Model-Free Reinforcement Learning.	CoRR	2018	DBLP BibTeX RDF
22	Hongfei Fu 0001, Yi Li, Jianlin Li	Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties.	QEST	2018	DBLP DOI BibTeX RDF
22	Véronique Bruyère, Quentin Hautem, Jean-François Raskin	Parameterized complexity of games with monotonically ordered omega-regular objectives.	CONCUR	2018	DBLP DOI BibTeX RDF
22	Jan Kretínský, Guillermo A. Pérez 0001, Jean-François Raskin	Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints.	CONCUR	2018	DBLP DOI BibTeX RDF
22	Hongfei Fu 0001, Yi Li, Jianlin Li, Lijun Zhang 0001	Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties.	CoRR	2017	DBLP BibTeX RDF
22	Krishnendu Chatterjee, Laurent Doyen 0001, Emmanuel Filiot, Jean-François Raskin	Doomsday equilibria for omega-regular games.	Inf. Comput.	2017	DBLP DOI BibTeX RDF
22	David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala	Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages.	ICTCS/CILC	2017	DBLP BibTeX RDF
22	Yuan Feng 0001, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying	Model Checking Omega-regular Properties for Quantum Markov Chains .	CONCUR	2017	DBLP DOI BibTeX RDF
22	Wanwei Liu	A Short Note on Infinite Union/Intersection of Omega Regular Languages.	CoRR	2016	DBLP BibTeX RDF
22	Dana Angluin, Udi Boker, Dana Fisman	Families of DFAs as Acceptors of omega-Regular Languages.	MFCS	2016	DBLP DOI BibTeX RDF
22	James Cranch, Michael R. Laurence, Georg Struth	Completeness results for omega-regular algebras.	J. Log. Algebraic Methods Program.	2015	DBLP DOI BibTeX RDF
22	Lukas Fleischer, Manfred Kufleitner	Efficient Algorithms for Morphisms over Omega-Regular Languages.	CoRR	2015	DBLP BibTeX RDF
22	Peter Thiemann 0001, Martin Sulzmann	From \omega -Regular Expressions to Büchi Automata via Partial Derivatives.	LATA	2015	DBLP DOI BibTeX RDF
22	Lukas Fleischer, Manfred Kufleitner	Efficient Algorithms for Morphisms over Omega-Regular Languages.	FSTTCS	2015	DBLP DOI BibTeX RDF
22	Krishnendu Chatterjee, Laurent Doyen 0001, Emmanuel Filiot, Jean-François Raskin	Doomsday Equilibria for Omega-Regular Games.	VMCAI	2014	DBLP DOI BibTeX RDF
22	Romain Brenguier, Jean-François Raskin, Mathieu Sassolas	The complexity of admissibility in Omega-regular games.	CSL-LICS	2014	DBLP DOI BibTeX RDF
22	Rupak Majumdar, Elaine Render, Paulo Tabuada	A theory of robust omega-regular software synthesis.	ACM Trans. Embed. Comput. Syst.	2013	DBLP DOI BibTeX RDF
22	Vincenzo Ciancia, Matteo Sammartino	A decidable class of (nominal) omega-regular languages over an infinite alphabet.	CoRR	2013	DBLP BibTeX RDF
22	Romain Brenguier, Jean-François Raskin, Mathieu Sassolas	The Complexity of Admissibility in Omega-Regular Games	CoRR	2013	DBLP BibTeX RDF
22	Krishnendu Chatterjee, Laurent Doyen 0001, Emmanuel Filiot, Jean-François Raskin	Doomsday Equilibria for Omega-Regular Games.	CoRR	2013	DBLP BibTeX RDF
22	Saqib Sohail, Fabio Somenzi	Efficient handling of obligation constraints in synthesis from omega-regular specifications.	FMCAD	2013	DBLP BibTeX RDF
22	Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol	What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives.	CSL	2013	DBLP DOI BibTeX RDF
22	Axel Legay	Extrapolating (omega-)regular model checking.	Int. J. Softw. Tools Technol. Transf.	2012	DBLP DOI BibTeX RDF
22	Michael R. Laurence, Georg Struth	On Completeness of Omega-Regular Algebras.	RAMiCS	2012	DBLP DOI BibTeX RDF
22	Ralf Wimmer 0001, Bernd Becker 0001, Nils Jansen 0001, Erika Ábrahám, Joost-Pieter Katoen	Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties.	MBMV	2012	DBLP BibTeX RDF
22	Sagar Chaki, Arie Gurfinkel	Automated assume-guarantee reasoning for omega-regular systems and specifications.	Innov. Syst. Softw. Eng.	2011	DBLP DOI BibTeX RDF
22	Krishnendu Chatterjee, Rupak Majumdar	Minimum Attention Controller Synthesis for Omega-Regular Objectives.	FORMATS	2011	DBLP DOI BibTeX RDF
22	Axel Legay, Pierre Wolper	On (Omega-)regular model checking.	ACM Trans. Comput. Log.	2010	DBLP DOI BibTeX RDF
22	Andreas Bauer 0002	Monitorability of omega-regular languages	CoRR	2010	DBLP BibTeX RDF
22	Shaull Almagor, Yoram Hirshfeld, Orna Kupferman	Promptness in omega-Regular Automata.	ATVA	2010	DBLP DOI BibTeX RDF
22	Bernd Puchala	Asynchronous Omega-Regular Games with Partial Information.	MFCS	2010	DBLP DOI BibTeX RDF
22	Mikolaj Bojanczyk	Beyond omega-Regular Languages.	STACS	2010	DBLP DOI BibTeX RDF
22	Sagar Chaki, Arie Gurfinkel	Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications.	NASA Formal Methods	2010	DBLP BibTeX RDF
22	Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn 0001	Finitary winning in omega-regular games.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF
22	Ahmed Bouajjani, Axel Legay, Pierre Wolper	A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking	CoRR	2009	DBLP BibTeX RDF
22	Kalpana Gondi, Yogeshkumar Patel, A. Prasad Sistla	Monitoring the Full Range of omega-Regular Properties of Stochastic Systems.	VMCAI	2009	DBLP DOI BibTeX RDF
22	Axel Legay, Pierre Wolper	On (Omega-)Regular Model Checking	CoRR	2008	DBLP BibTeX RDF
22	Axel Legay	T(O)RMC: A Tool for (omega)-Regular Model Checking.	CAV	2008	DBLP DOI BibTeX RDF
22	Cong Tian, Zhenhua Duan	Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions.	TAMC	2008	DBLP DOI BibTeX RDF	Propositional Projection Temporal Logic, B chi automata, ?-regular expression, expressiveness
22	Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger	Model-Checking omega-Regular Properties of Interval Markov Chains.	FoSSaCS	2008	DBLP DOI BibTeX RDF
22	Pierre Chambart, Philippe Schnoebelen	The omega-Regular Post Embedding Problem.	FoSSaCS	2008	DBLP DOI BibTeX RDF
22	Azadeh Farzan, Yu-Fang Chen 0001, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang	Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages.	TACAS	2008	DBLP DOI BibTeX RDF
22	Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger, Jean-François Raskin	Algorithms for Omega-Regular Games with Imperfect Information	CoRR	2007	DBLP BibTeX RDF
22	Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger	Algorithms for Omega-Regular Games with Imperfect Information.	Log. Methods Comput. Sci.	2007	DBLP DOI BibTeX RDF
22	Victor L. Selivanov	Classifying omega-regular partitions.	LATA	2007	DBLP BibTeX RDF
22	Vesa Halava, Tero Harju, Juhani Karhumäki	Undecidability in omega-Regular Languages.	Fundam. Informaticae	2006	DBLP BibTeX RDF
22	Orna Kupferman, Gila Morgenstern, Aniello Murano	Typeness for omega-regular Automata.	Int. J. Found. Comput. Sci.	2006	DBLP DOI BibTeX RDF
22	Krishnendu Chatterjee, Thomas A. Henzinger	Finitary Winning in omega-Regular Games.	TACAS	2006	DBLP DOI BibTeX RDF
22	Christel Baier, Nathalie Bertrand 0001, Philippe Schnoebelen	Verifying nondeterministic probabilistic channel systems against $\omega$-regular linear-time properties	CoRR	2005	DBLP BibTeX RDF
22	Christel Baier, Marcus Größer	Recognizing omega-regular Languages with Probabilistic Automata.	LICS	2005	DBLP DOI BibTeX RDF
22	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan 0001, Gul Agha	Using Language Inference to Verify Omega-Regular Properties.	TACAS	2005	DBLP DOI BibTeX RDF
22	Krishnendu Chatterjee	Two-Player Nonzero-Sum omega-Regular Games.	CONCUR	2005	DBLP DOI BibTeX RDF
22	Ahmed Bouajjani, Axel Legay, Pierre Wolper	Handling Liveness Properties in (omega-)Regular Model Checking.	INFINITY	2004	DBLP DOI BibTeX RDF
22	Luca de Alfaro, Rupak Majumdar	Quantitative solution of omega-regular games.	J. Comput. Syst. Sci.	2004	DBLP DOI BibTeX RDF
22	Doron Bustan, Sasha Rubin, Moshe Y. Vardi	Verifying omega-Regular Properties of Markov Chains.	CAV	2004	DBLP DOI BibTeX RDF