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