Search results for "determinization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
132	Orna Kupferman	Avoiding Determinization.	LICS	2006	DBLP DOI BibTeX RDF
116	Jean-Marc Champarnaud, Fabien Coulon, Thomas Paranthoën	Brute Force Determinization of NFAs by Means of State Covers.	CIAA	2004	DBLP DOI BibTeX RDF
84	Cyril Allauzen, Mehryar Mohri	An Efficient Pre-determinization Algorithm.	CIAA	2003	DBLP DOI BibTeX RDF
69	Gianfranco Lamperti, Marina Zanella, Giovanni Chiodi, Lorenzo Chiodi	Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems.	KES (1)	2008	DBLP DOI BibTeX RDF
53	Thomas A. Henzinger, Nir Piterman	Solving Games Without Determinization.	CSL	2006	DBLP DOI BibTeX RDF
53	Stefan Schwoon	Determinization and Complementation of Streett Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
53	Adam L. Buchsbaum, Raffaele Giancarlo, Jeffery R. Westbrook	On the Determinization of Weighted Finite Automata.	ICALP	1998	DBLP DOI BibTeX RDF
48	Chin Soon Lee	Ranking functions for size-change termination.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	?-Automaton, multiple recursion, size-change termination, determinization, ranking function, termination analysis
48	Joachim Klein 0001, Christel Baier	On-the-Fly Stuttering in the Construction of Deterministic omega -Automata.	CIAA	2007	DBLP DOI BibTeX RDF	Rabin, ?-automaton, determinization, LTL, deterministic, stuttering
47	Andreas Morgenstern, Klaus Schneider 0001	From LTL to Symbolically Represented Deterministic Automata.	VMCAI	2008	DBLP DOI BibTeX RDF
47	Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi	Büchi Complementation Made Tighter.	ATVA	2004	DBLP DOI BibTeX RDF
43	Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz	Determinization and Limit-determinization of Emerson-Lei automata.	CoRR	2021	DBLP BibTeX RDF
43	Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz	Determinization and Limit-Determinization of Emerson-Lei Automata.	ATVA	2021	DBLP DOI BibTeX RDF
37	Detlef Kähler, Thomas Wilke	Complementation, Disambiguation, and Determinization of Büchi Automata Unified.	ICALP (1)	2008	DBLP DOI BibTeX RDF
37	Eugene Goldberg	Determinization of Resolution by an Algorithm Operating on Complete Assignments.	SAT	2006	DBLP DOI BibTeX RDF
37	Toni Jussila, Keijo Heljanko, Ilkka Niemelä	BMC via on-the-fly determinization.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Verification, Labeled transition system, Bounded model checking
37	Christoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier	Observations on Determinization of Büchi Automata.	CIAA	2005	DBLP DOI BibTeX RDF
37	Marie-Pierre Béal, Olivier Carton	Determinization of Transducers over Infinite Words.	ICALP	2000	DBLP DOI BibTeX RDF
37	Jean-Marc Champarnaud, Djelloul Ziadi, Jean-Luc Ponty	Determinization of Glushkov Automata.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
31	Benjamin Aminof, Orna Kupferman, Robby Lampert	Reasoning about online algorithms with weighted automata.	SODA	2009	DBLP DOI BibTeX RDF
31	Orna Kupferman, Yoad Lustig	Lattice Automata.	VMCAI	2007	DBLP DOI BibTeX RDF
31	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	Safraless Compositional Synthesis.	CAV	2006	DBLP DOI BibTeX RDF
31	Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin	A Lattice Theory for Solving Games of Imperfect Information.	HSCC	2006	DBLP DOI BibTeX RDF
31	Joachim Klein 0001, Christel Baier	Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic.	CIAA	2005	DBLP DOI BibTeX RDF
31	Cyril Allauzen, Mehryar Mohri	p-Subsequentiable Transducers.	CIAA	2002	DBLP DOI BibTeX RDF
31	Orna Kupferman, Moshe Y. Vardi	Weak alternating automata are not that weak.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	weak alternating automata, complementation
31	Borivoj Melichar, Jan Skryja	On the Size of Deterministic Finite Automata.	CIAA	2001	DBLP DOI BibTeX RDF
31	Mark-Jan Nederhof	Preprocessing for Unification Parsing of Spoken Language.	Natural Language Processing	2000	DBLP DOI BibTeX RDF
31	Orna Kupferman, Moshe Y. Vardi	Weak Alternating Automata Are Not That Weak.	ISTCS	1997	DBLP DOI BibTeX RDF
22	Shaull Almagor, Neta Dafni	Determinization of Integral Discounted-Sum Automata is Decidable.	FoSSaCS (1)	2024	DBLP DOI BibTeX RDF
22	Mallika Dhingra, Mahesh Kumar Dubey, Jacob Kavikumar	$L$-Fuzzy Multiset Recognizer: Determinization and Minimization.	IEEE Trans. Emerg. Top. Comput. Intell.	2023	DBLP DOI BibTeX RDF
22	Shaull Almagor, Neta Dafni	Determinization of Integral Discounted-Sum Automata is Decidable.	CoRR	2023	DBLP DOI BibTeX RDF
22	Ivan Baburin, Ryan Cotterell	An Analysis of On-the-fly Determinization of Finite-state Automata.	CoRR	2023	DBLP DOI BibTeX RDF
22	Aitor Gonzalez de Mendívil Grau, Stefan Stanimirovic, Federico Fariña	Minimal Determinization Algorithm for Fuzzy Automata.	IEEE Trans. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
22	Aitor Gonzalez de Mendívil Grau, Stefan Stanimirovic, Federico Fariña	Reduction Graph for Minimal Determinization of Fuzzy Automata.	EUSFLAT/AGOP	2023	DBLP DOI BibTeX RDF
22	Yong Li 0031, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang 0001	Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition.	CoRR	2022	DBLP DOI BibTeX RDF
22	Joachim Niehren, Momar Sakho, Antonio Al Serhali	Schema-Based Automata Determinization.	GandALF	2022	DBLP DOI BibTeX RDF
22	Yong Li 0031, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang 0001	Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".		2022	DOI RDF
22	Yong Li 0031, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang 0001	Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".		2022	DOI RDF
22	Yong Li 0031, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang 0001	Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition.	CAV (2)	2022	DBLP DOI BibTeX RDF
22	Mizuhito Ogawa, Alexander Okhotin	On the Determinization of Event-Clock Input-Driven Pushdown Automata.	CSR	2022	DBLP DOI BibTeX RDF
22	Shaull Almagor, Asaf Yeshurun	Determinization of One-Counter Nets.	CONCUR	2022	DBLP DOI BibTeX RDF
22	Zoltán Fülöp 0001, Dávid Kószó, Heiko Vogler	Crisp-determinization of weighted tree automata over strong bimonoids.	Discret. Math. Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
22	Mizuhito Ogawa, Alexander Okhotin	On the determinization of event-clock input-driven pushdown automata.	CoRR	2021	DBLP BibTeX RDF
22	Shaull Almagor, Asaf Yeshurun	Determinization of One-Counter Nets.	CoRR	2021	DBLP BibTeX RDF
22	Naoki Nishida 0001, Minami Niwa	Determinization of inverted grammar programs via context-free expressions.	J. Log. Algebraic Methods Program.	2021	DBLP DOI BibTeX RDF
22	Joachim Niehren, Momar Sakho	Determinization and Minimization of Automata for Nested Words Revisited.	Algorithms	2021	DBLP DOI BibTeX RDF
22	Moez Krichen	Testing Timed Systems Using Determinization Techniques for One-Clock Timed Automata.	TACC	2021	DBLP BibTeX RDF
22	Anton Pirogov	Determinization and ambiguity of classical and probabilistic Büchi automata.		2021	RDF
22	Sébastien Lahaye, Aiwen Lai, Jan Komenda, Jean-Louis Boimond	A contribution to the determinization of max-plus automata.	Discret. Event Dyn. Syst.	2020	DBLP DOI BibTeX RDF
22	M. K. Dubey, S. P. Tiwari, Alexander P. Sostak	Categories of quantale-valued fuzzy automata: determinization and minimization.	J. Appl. Math. Comput.	2020	DBLP DOI BibTeX RDF
22	Cong Tian, Wensheng Wang, Zhenhua Duan	Making Streett Determinization Tight.	CoRR	2020	DBLP BibTeX RDF
22	Gianfranco Lamperti	Temporal determinization of mutating finite automata: Reconstructing or restructuring.	Softw. Pract. Exp.	2020	DBLP DOI BibTeX RDF
22	Frantisek Blahoudek, Alexandre Duret-Lutz, Jan Strejcek	Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization.	CAV (2)	2020	DBLP DOI BibTeX RDF
22	Cong Tian, Wensheng Wang, Zhenhua Duan	Making Streett Determinization Tight.	LICS	2020	DBLP DOI BibTeX RDF
22	Manfred Droste, Zoltán Fülöp 0001, Dávid Kószó, Heiko Vogler	Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable.	DCFS	2020	DBLP DOI BibTeX RDF
22	Michele Dusi, Gianfranco Lamperti	Conservative Determinization of Translated Automata by Embedded Subset Construction.	KES-IDT	2020	DBLP DOI BibTeX RDF
22	Christof Löding, Anton Pirogov	New Optimizations and Heuristics for Determinization of Büchi Automata.	CoRR	2019	DBLP BibTeX RDF
22	Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia	Understanding and Extending Incremental Determinization for 2QBF.	CoRR	2019	DBLP BibTeX RDF
22	Zoltán Fülöp 0001, Dávid Kószó, Heiko Vogler	Crisp-determinization of weighted tree automata over strong bimonoids.	CoRR	2019	DBLP BibTeX RDF
22	Christof Löding, Anton Pirogov	Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp.	CoRR	2019	DBLP BibTeX RDF
22	Markus N. Rabe	Incremental Determinization for Quantifier Elimination and Functional Synthesis.	CAV (2)	2019	DBLP DOI BibTeX RDF
22	Moez Krichen	Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains.	ICTAC	2019	DBLP DOI BibTeX RDF
22	Zhehuai Chen, Mahsa Yarmohammadi, Hainan Xu, Hang Lv 0001, Lei Xie 0001, Daniel Povey, Sanjeev Khudanpur	Incremental Lattice Determinization for WFST Decoders.	ASRU	2019	DBLP DOI BibTeX RDF
22	Christof Löding, Anton Pirogov	Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp.	ICALP	2019	DBLP DOI BibTeX RDF
22	Christof Löding, Anton Pirogov	New Optimizations and Heuristics for Determinization of Büchi Automata.	ATVA	2019	DBLP DOI BibTeX RDF
22	Stefan Stanimirovic, Miroslav Ciric 0001, Jelena Ignjatovic	Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders.	Inf. Sci.	2018	DBLP DOI BibTeX RDF
22	Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr.	Optimal Symbolic Controllers Determinization for BDD storage.	CoRR	2018	DBLP BibTeX RDF
22	Meven Bertrand, Jurriaan Rot	Coalgebraic Determinization of Alternating Automata.	CoRR	2018	DBLP BibTeX RDF
22	Filippo Bonchi, Ana Sokolova, Valeria Vignudelli	Trace Semantics for Nondeterministic Probabilistic Automata via Determinization.	CoRR	2018	DBLP BibTeX RDF
22	Alexandre Goy 0002	Trace semantics via determinization for probabilistic transition systems.	CoRR	2018	DBLP BibTeX RDF
22	Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia	Understanding and Extending Incremental Determinization for 2QBF.	CAV (2)	2018	DBLP DOI BibTeX RDF
22	Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr.	Optimal Symbolic Controllers Determinization for BDD storage.	ADHS	2018	DBLP DOI BibTeX RDF
22	Giovanni Caniato, Gianfranco Lamperti	Online Determinization of Large Mutating Automata.	KES	2018	DBLP DOI BibTeX RDF
22	Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig	Bounded determinization of timed automata with silent transitions.	Real Time Syst.	2017	DBLP DOI BibTeX RDF
22	Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez 0001, Jean-François Raskin	On Delay and Regret Determinization of Max-Plus Automata.	CoRR	2017	DBLP BibTeX RDF
22	Luis Enrique Pineda, Shlomo Zilberstein	Generalizing the Role of Determinization in Probabilistic Planning.	CoRR	2017	DBLP BibTeX RDF
22	Frantisek Blahoudek, Alexandre Duret-Lutz, Mikulás Klokocka, Mojmír Kretínský, Jan Strejcek	Seminator: A Tool for Semi-Determinization of Omega-Automata.	LPAR	2017	DBLP DOI BibTeX RDF
22	Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez 0001, Jean-François Raskin	On delay and regret determinization of max-plus automata.	LICS	2017	DBLP DOI BibTeX RDF
22	Stefan Gerdjikov, Stoyan Mihov	Over Which Monoids is the Transducer Determinization Procedure Applicable?	LATA	2017	DBLP DOI BibTeX RDF
22	Patricia Bouyer, Samy Jaziri, Nicolas Markey	On the Determinization of Timed Systems.	FORMATS	2017	DBLP DOI BibTeX RDF
22	Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond	Determinization of timed Petri nets behaviors.	Discret. Event Dyn. Syst.	2016	DBLP DOI BibTeX RDF
22	Radomír Polách, Jan Trávnícek, Jan Janousek, Borivoj Melichar	Efficient determinization of visibly and height-deterministic pushdown automata.	Comput. Lang. Syst. Struct.	2016	DBLP DOI BibTeX RDF
22	Zorana Jancic, Ivana Micic, Jelena Ignjatovic, Miroslav Ciric 0001	Further improvements of determinization methods for fuzzy finite automata.	Fuzzy Sets Syst.	2016	DBLP DOI BibTeX RDF
22	Simone Brognoli, Gianfranco Lamperti, Michele Scandale	Incremental Determinization of Expanding Automata.	Comput. J.	2016	DBLP DOI BibTeX RDF
22	Gianfranco Lamperti, Michele Scandale, Marina Zanella	Determinization and minimization of finite acyclic automata by incremental techniques.	Softw. Pract. Exp.	2016	DBLP DOI BibTeX RDF
22	Markus N. Rabe, Sanjit A. Seshia	Incremental Determinization.	SAT	2016	DBLP DOI BibTeX RDF
22	Bernhard K. Aichernig, Florian Lorber	On-the-Fly Determinization of Bounded Networks of Timed Automata.	TASE	2016	DBLP DOI BibTeX RDF
22	Bart Jacobs 0001, Alexandra Silva 0001, Ana Sokolova	Trace semantics via determinization.	J. Comput. Syst. Sci.	2015	DBLP DOI BibTeX RDF
22	Jie Xu, Dmitri V. Kalashnikov, Sharad Mehrotra	Query Aware Determinization of Uncertain Objects.	IEEE Trans. Knowl. Data Eng.	2015	DBLP DOI BibTeX RDF
22	Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig	Bounded Determinization of Timed Automata with Silent Transitions.	CoRR	2015	DBLP BibTeX RDF
22	Ivana Micic, Zorana Jancic, Jelena Ignjatovic, Miroslav Ciric 0001	Determinization of Fuzzy Automata by Means of the Degrees of Language Inclusion.	IEEE Trans. Fuzzy Syst.	2015	DBLP DOI BibTeX RDF
22	Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke	Profile trees for Büchi word automata, with application to determinization.	Inf. Comput.	2015	DBLP DOI BibTeX RDF
22	Dana Fisman, Yoad Lustig	A Modular Approach for Büchi Determinization.	CONCUR	2015	DBLP DOI BibTeX RDF
22	Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig	Bounded Determinization of Timed Automata with Silent Transitions.	FORMATS	2015	DBLP DOI BibTeX RDF
22	José Ramón González de Mendívil, José Ramón Garitagoitia	Determinization of fuzzy automata via factorization of fuzzy states.	Inf. Sci.	2014	DBLP DOI BibTeX RDF
22	Zorana Jancic, Ivana Micic, Jelena Ignjatovic, Miroslav Ciric 0001	Two-in-one: determinization and state reduction of fuzzy automata.	CoRR	2014	DBLP BibTeX RDF
22	Cong Tian, Zhenhua Duan	Buchi Determinization Made Tighter.	CoRR	2014	DBLP BibTeX RDF
22	Ivana Micic, Zorana Jancic, Jelena Ignjatovic, Miroslav Ciric 0001	Determinization of fuzzy automata by means of the degrees of language inclusion.	CoRR	2014	DBLP BibTeX RDF
22	Udi Boker, Thomas A. Henzinger	Exact and Approximate Determinization of Discounted-Sum Automata.	Log. Methods Comput. Sci.	2014	DBLP DOI BibTeX RDF