Search results for "omega-regular"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Orna Kupferman, Gila Morgenstern, Aniello Murano	Typeness for omega-Regular Automata.	ATVA	2004	DBLP DOI BibTeX RDF
22	Zoltán Ésik, Werner Kuich	An Algebraic Generalization of omega-Regular Languages.	MFCS	2004	DBLP DOI BibTeX RDF
22	Bernard Boigelot, Axel Legay, Pierre Wolper	Omega-Regular Model Checking.	TACAS	2004	DBLP DOI BibTeX RDF
22	Olivier Serre	Note on winning positions on pushdown games with [omega]-regular conditions.	Inf. Process. Lett.	2003	DBLP DOI BibTeX RDF
22	Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar	From Verification to Control: Dynamic Programs for Omega-Regular Objectives.	LICS	2001	DBLP DOI BibTeX RDF
22	Luca de Alfaro, Rupak Majumdar	Quantitative solution of omega-regular games.	STOC	2001	DBLP DOI BibTeX RDF
22	Doron A. Peled, Thomas Wilke, Pierre Wolper	An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
22	Nobuyuki Takahashi	Various Hierarchies of omega-regular Sets.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
22	Frank Nießner, Ulrich Nitsche, Peter Ochsenschläger	Deterministic omega-regular liveness properties.	Developments in Language Theory	1997	DBLP BibTeX RDF
22	Doron A. Peled, Thomas Wilke, Pierre Wolper	An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages.	CONCUR	1996	DBLP DOI BibTeX RDF
22	Ahmed Bouajjani, Riadh Robbana	Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems.	CAV	1995	DBLP DOI BibTeX RDF
22	Stefano Varricchio	Polynomial Time Algorithm for the Equivalence of two Morphisms on Omega-Regular Languages.	STACS	1993	DBLP DOI BibTeX RDF
22	Rana Barua	The Hausdorff-Kuratowski Hierarchy of omega-Regular Languages and a Hierarchy of Muller Automata.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
22	Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton	Efficient omega-Regular Language Containment.	CAV	1992	DBLP DOI BibTeX RDF
22	Oded Maler, Amir Pnueli	Learning omega-Regular Languages from Queries and Counter-Examples (A Preliminary Report).	AII	1989	DBLP DOI BibTeX RDF
22	Hideki Yamasaki, Masako Takahashi, Kojiro Kobayashi	Characterization of omega-Regular Languages by Monadic Second-Order Formulas.	Theor. Comput. Sci.	1986	DBLP DOI BibTeX RDF
22	Michael Kaminski	A Classification of omega-Regular Languages.	Theor. Comput. Sci.	1985	DBLP DOI BibTeX RDF
22	Kojiro Kobayashi, Masako Takahashi, Hideki Yamasaki	Characterization of omega-Regular Languages by First-Order Formulas.	Theor. Comput. Sci.	1984	DBLP DOI BibTeX RDF
22	Kojiro Kobayashi, Masako Takahashi, Hideki Yamasaki	Logical formulas and four subclasses of omega-regular languages.	Automata on Infinite Words	1984	DBLP DOI BibTeX RDF
22	Masako Takahashi, Hideki Yamasaki	A Note on omega-Regular Languages.	Theor. Comput. Sci.	1983	DBLP DOI BibTeX RDF
22	Yaacov Choueka, David Peleg	A note of omega-regular languages.	Bull. EATCS	1983	DBLP BibTeX RDF
22	Klaus W. Wagner	On omega-Regular Sets	Inf. Control.	1979	DBLP DOI BibTeX RDF
22	Andrzej Wlodzimierz Mostowski	Operations on omega-Regular Languages.	FCT	1977	DBLP DOI BibTeX RDF
20	Christof Löding	Optimal Bounds for Transformations of omega-Automata.	FSTTCS	1999	DBLP DOI BibTeX RDF
16	Alessandro Cimatti, Marco Roveri, Stefano Tonetta	Symbolic Compilation of PSL.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
16	Hiroaki Iwashita, Tsuneo Nakata	Forward model checking techniques oriented to buggy designs.	ICCAD	1997	DBLP DOI BibTeX RDF	symbolic state traversal, forward model checking, formal verification, symbolic model checking
16	David Michael Ritchie Park	Concurrency and Automata on Infinite Sequences.	Theoretical Computer Science	1981	DBLP DOI BibTeX RDF
12	Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan 0001	On Convergence of Concurrent Systems under Regular Interactions.	CONCUR	2009	DBLP DOI BibTeX RDF
12	Jin Yang 0006, Carl-Johan H. Seger	Introduction to generalized symbolic trajectory evaluation.	IEEE Trans. Very Large Scale Integr. Syst.	2003	DBLP DOI BibTeX RDF
12	Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar	Discounting the Future in Systems Theory.	ICALP	2003	DBLP DOI BibTeX RDF
12	Deepak D'Souza, P. Madhusudan	Timed Control Synthesis for External Specifications.	STACS	2002	DBLP DOI BibTeX RDF
12	Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram	The size-change principle for program termination.	POPL	2001	DBLP DOI BibTeX RDF	omega automaton, program analysis, termination, partial evaluation, PSPACE-completeness
12	Ben C. Moszkowski	A Complete Axiomatization of Interval Temporal Logic with Infinite Time.	LICS	2000	DBLP DOI BibTeX RDF	complete axiom systems, Buechi-automata, temporal logic, regular expressions, finite-state automata, omega-automata
12	Ben C. Moszkowski	An Automata-Theoretic Completeness Proof for Interval Temporal Logic.	ICALP	2000	DBLP DOI BibTeX RDF
12	Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka	Faster Model Checking for Open Systems.	ASIAN	1999	DBLP DOI BibTeX RDF
12	Martin Fränzle, Karsten Lüth	Compiling Graphical Real-Time Specifications into Silicon.	FTRTFT	1998	DBLP DOI BibTeX RDF