The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "GandALF"( http://dblp.L3S.de/Venues/GandALF )

URL (DBLP): http://dblp.uni-trier.de/db/conf/gandalf

Publication years (Num. hits)
2010 (17) 2011 (20) 2012 (20) 2013 (18) 2014 (20) 2015-2016 (36) 2017 (21) 2018 (20) 2019-2020 (27) 2021 (20) 2022 (15) 2023 (16)
Publication types (Num. hits)
inproceedings(236) proceedings(14)
Venues (Conferences, Journals, ...)
GANDALF(250)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 250 publication records. Showing 250 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Daniele Dell'Erba, Arthur Dumas, Sven Schewe An Objective Improvement Approach to Solving Discounted Payoff Games. Search on Bibsonomy GandALF The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Julie Parreaux, Jakob Piribauer, Christel Baier Counterfactual Causality for Reachability and Safety based on Distance Functions. Search on Bibsonomy GandALF The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Sarah Winter, Martin Zimmermann 0002 Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games. Search on Bibsonomy GandALF The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa On Two- and Three-valued Semantics for Impure Simplicial Complexes. Search on Bibsonomy GandALF The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka FMplex: A Novel Method for Solving Linear Real Arithmetic Problems. Search on Bibsonomy GandALF The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Antonis Achilleos, Dario Della Monica (eds.) Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023. Search on Bibsonomy GandALF The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Sebastian Forster, Antonis Skarlatos, Tijn de Vos Fast Algorithms for Energy Games in Special Cases. Search on Bibsonomy GandALF The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Emanuel Kieronski A Uniform One-Dimensional Fragment with Alternation of Quantifiers. Search on Bibsonomy GandALF The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Joshua A. Grochow, Michael Levet On the Descriptive Complexity of Groups without Abelian Normal Subgroups (Extended Abstract). Search on Bibsonomy GandALF The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Falke B. Ø. Carlsen, Lars Bo P. Frydenskov, Nicolaj Ø. Jensen, Jener Rasmussen, Mathias M. Sørensen, Asger G. Weirsøe, Mathias Claus Jensen, Kim G. Larsen CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics. Search on Bibsonomy GandALF The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Tiago Ferreira 0001, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva 0001 Conflict-Aware Active Automata Learning. Search on Bibsonomy GandALF The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Thomas Webster The Recursive Arrival Problem. Search on Bibsonomy GandALF The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Manolis Pitsikalis, Alexei Lisitsa 0001, Patrick Totzke Handling of Past and Future with Phenesthe+. Search on Bibsonomy GandALF The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Marco Bernardo 0001, Andrea Esposito 0006 Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities. Search on Bibsonomy GandALF The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Stephan Spengler, Sanchari Sil TSO Games - On the decidability of safety games under the total store order semantics. Search on Bibsonomy GandALF The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Paul Hannibal (Un)Decidability Bounds of the Synthesis Problem for Petri Games. Search on Bibsonomy GandALF The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Benedikt Bollig, Arnaud Sangnier, Olivier Stietel On the Existential Fragments of Local First-Order Logics with Data. Search on Bibsonomy GandALF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Felix Stutz, Damien Zufferey Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types. Search on Bibsonomy GandALF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Hadar Frenkel, Sarai Sheinvald Realizable and Context-Free Hyperlanguages. Search on Bibsonomy GandALF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets. Search on Bibsonomy GandALF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Adriano Peron Parametric Interval Temporal Logic over Infinite Words. Search on Bibsonomy GandALF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Florian Bruse, David Kronenberger, Martin Lange Capturing Bisimulation-Invariant Exponential-Time Complexity Classes. Search on Bibsonomy GandALF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir Complexity through Translations for Modal Logic with Recursion. Search on Bibsonomy GandALF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti Controller Synthesis for Timeline-based Games. Search on Bibsonomy GandALF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin 0005, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms. Search on Bibsonomy GandALF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Hans de Nivelle, Dina Muktubayeva Generating Tokenizers with Flat Automata. Search on Bibsonomy GandALF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Joachim Niehren, Momar Sakho, Antonio Al Serhali Schema-Based Automata Determinization. Search on Bibsonomy GandALF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy 0002 Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. Search on Bibsonomy GandALF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Dario Della Monica (eds.) Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022. Search on Bibsonomy GandALF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko Adversarial Formal Semantics of Attack Trees and Related Problems. Search on Bibsonomy GandALF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Michael J. Coulombe, Jayson Lynch Characterizing the Decidability of Finite State Automata Team Games with Communication. Search on Bibsonomy GandALF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Ashwani Anand, Nathanaël Fijalkow, Aliénor Goubault-Larrecq, Jérôme Leroux, Pierre Ohlmann New Algorithms for Combinations of Objectives using Separating Automata. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Giovanni Pagliarini, Guido Sciavicco Decision Tree Learning with Spatial Modal Logics. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Florian Gallay, Yliès Falcone Decentralized LTL Enforcement. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jan Rooduijn, Yde Venema Filtration and canonical completeness for continuous modal mu-calculi. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Davide Bresolin (eds.) Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Mikhail A. Raskin, Christoph Welzel Abduction of trap invariants in parameterized systems. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Dhananjay Raju, Rüdiger Ehlers, Ufuk Topcu Adapting to the Behavior of Environments with Bounded Memory. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Shufang Zhu 0001, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi On the Power of Automata Minimization in Temporal Synthesis. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Domenico Cantone, Andrea De Domenico, Pietro Maugeri On the Convexity of a Fragment of Pure Set Theory with Applications within a Nelson-Oppen Framework. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Antti Kuusisto, Raine Rönnholm The Optimal Way to Play the Most Difficult Repeated Coordination Games. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Miikka Vilander Games for Succinctness of Regular Expressions. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Erich Grädel, Niels Lücking, Matthias Naaf Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Raoul Koudijs Finite Model Property and Bisimulation for LFD. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Gustav Grabolle A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Johannes Marti, Yde Venema On the size of disjunctive formulas in the μ-calculus. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Simon Jantsch, Jakob Piribauer, Christel Baier Witnessing Subsystems for Probabilistic Systems with Low Tree Width. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta Expressiveness of Extended Bounded Response LTL. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Tobias Winkler, Maximilian Weininger Stochastic Games with Disjunctions of Multiple Objectives. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1A. R. Balasubramanian, Chana Weil-Kennedy Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Aniello Murano, Sasha Rubin, Martin Zimmermann 0002 Optimal Strategies in Weighted Limit Games. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Yong Li 0031, Moshe Y. Vardi, Lijun Zhang 0001 On the Power of Unambiguity in Büchi Complementation. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer Local Higher-Order Fixpoint Iteration. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Bader Abu Radi, Orna Kupferman Canonicity in GFG and Transition-Based Automata. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove Decisiveness of Stochastic Systems and its Application to Hybrid Models. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Lucas M. Tabajara, Moshe Y. Vardi LTLf Synthesis under Partial Observability: From Theory to Practice. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Lauri Hella, Antti Kuusisto, Raine Rönnholm Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Can Baskent A Game Theoretical Semantics for Logics of Nonsense. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Jean-François Raskin, Davide Bresolin (eds.) Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli The Quotient in Preorder Theories. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder Synthesis in Presence of Dynamic Links. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi LTLf Synthesis on Probabilistic Systems. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger Comparison of Algorithms for Simple Stochastic Games. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Mara Downing, Abtin Molavi, Lucas Bang Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Oebele Lijzenga, Tom van Dijk Symbolic Parity Game Solvers that Yield Winning Strategies. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Kitti Gelle, Szabolcs Iván On the Order Type of Scattered Context-Free Orderings. Search on Bibsonomy GandALF The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paritosh K. Pandya, Amol Wakankar Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields. Search on Bibsonomy GandALF The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea Resource-Aware Automata and Games for Optimal Synthesis. Search on Bibsonomy GandALF The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniel Neider, Alexander Weinert, Martin Zimmermann 0002 Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free. Search on Bibsonomy GandALF The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kaizaburo Chubachi, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara Query Learning Algorithm for Residual Symbolic Finite Automata. Search on Bibsonomy GandALF The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët, Nicolas Markey, Ritam Raha Reachability Games with Relaxed Energy Constraints. Search on Bibsonomy GandALF The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kristoffer Arnsfelt Hansen, Mikhail A. Raskin A Stay-in-a-Set Game without a Stationary Equilibrium. Search on Bibsonomy GandALF The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tom van Dijk A Parity Game Tale of Two Counters. Search on Bibsonomy GandALF The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Émilie Charlier, Célia Cisternino, Adeline Massuir State Complexity of the Multiples of the Thue-Morse Set. Search on Bibsonomy GandALF The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pascal Caron, Edwin Hamel-De le Court, Jean-Gabriel Luque Algebraic and Combinatorial Tools for State Complexity : Application to the Star-Xor Problem. Search on Bibsonomy GandALF The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tom van Dijk, Bob Rubbens Simple Fixpoint Iteration To Solve Parity Games. Search on Bibsonomy GandALF The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jérôme Leroux, Jean-François Raskin (eds.) Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019. Search on Bibsonomy GandALF The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds 0001 One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tobias R. Gundersen, Florian Lorber, Ulrik Nyman, Christian Ovesen Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira On Finding a First-Order Sentence Consistent with a Sample of Strings. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrea Orlandini, Martin Zimmermann 0002 (eds.) Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Petra van den Bos, Mariëlle Stoelinga Tester versus Bug: A Generic Framework for Model-Based Testing via Games. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pietro Galliani Safe Dependency Atoms and Possibility Operators in Team Semantics. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1A. R. Balasubramanian Parameterized Verification of Coverability in Well-Structured Broadcast Networks. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcin Przybylko On Computing the Measures of First-Order Definable Sets of Trees. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arno Pauly Parameterized Games and Parameterized Automata. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lisette Sanchez, Wieger Wesselink, Tim A. C. Willemse A Comparison of BDD-Based Parity Game Solvers. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander Weinert Quantitative Reductions and Vertex-Ranked Infinite Games. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Éric Goubault, Jérémy Ledent, Sergio Rajsbaum A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jesko Hecking-Harbusch, Leander Tentrup Solving QBF by Abstraction. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Mauricio González, Nicolas Markey, Mickael Randour Multi-weighted Markov Decision Processes with Reachability Objectives. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin Constrained Existence Problem for Weak Subgame Perfect Equilibria with ω-Regular Boolean Objectives. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Federico Aschieri, Agata Ciabattoni, Francesco A. Genco Classical Proofs as Parallel Programs. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michele Chiari, Dino Mandrioli, Matteo Pradella Temporal Logic and Model Checking for Operator Precedence Languages. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dana Angluin, Dana Fisman Regular omega-Languages with an Informative Right Congruence. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Aniello Murano, Adriano Peron Timed Context-Free Temporal Logics. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Müller 0001, Salomon Sickert LTL to Deterministic Emerson-Lei Automata. Search on Bibsonomy GandALF The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Andrea Orlandini, Pierluigi San Pietro (eds.) Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017. Search on Bibsonomy GandALF The full citation details ... 2017 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 250 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license