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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., pp. 203-219, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Julie Parreaux, Jakob Piribauer, Christel Baier |
Counterfactual Causality for Reachability and Safety based on Distance Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., pp. 132-149, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., pp. 220-235, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa |
On Two- and Three-valued Semantics for Impure Simplicial Complexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., pp. 50-66, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., pp. 16-32, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Forster, Antonis Skarlatos, Tijn de Vos |
Fast Algorithms for Energy Games in Special Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., pp. 236-252, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Emanuel Kieronski |
A Uniform One-Dimensional Fragment with Alternation of Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., pp. 1-15, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Joshua A. Grochow, Michael Levet |
On the Descriptive Complexity of Groups without Abelian Normal Subgroups (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., pp. 185-202, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., pp. 99-114, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tiago Ferreira 0001, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva 0001 |
Conflict-Aware Active Automata Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., pp. 150-167, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Webster |
The Recursive Arrival Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., pp. 168-184, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Manolis Pitsikalis, Alexei Lisitsa 0001, Patrick Totzke |
Handling of Past and Future with Phenesthe+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., pp. 33-49, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001, Andrea Esposito 0006 |
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., pp. 67-81, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Spengler, Sanchari Sil |
TSO Games - On the decidability of safety games under the total store order semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., pp. 82-98, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hannibal |
(Un)Decidability Bounds of the Synthesis Problem for Petri Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., pp. 115-131, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig, Arnaud Sangnier, Olivier Stietel |
On the Existential Fragments of Local First-Order Logics with Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022., pp. 1-16, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022., pp. 194-212, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hadar Frenkel, Sarai Sheinvald |
Realizable and Context-Free Hyperlanguages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022., pp. 114-130, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022., pp. 178-193, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Adriano Peron |
Parametric Interval Temporal Logic over Infinite Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022., pp. 97-113, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Florian Bruse, David Kronenberger, Martin Lange |
Capturing Bisimulation-Invariant Exponential-Time Complexity Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022., pp. 17-33, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022., pp. 34-48, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti |
Controller Synthesis for Timeline-based Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022., pp. 131-146, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022., pp. 147-161, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hans de Nivelle, Dina Muktubayeva |
Generating Tokenizers with Flat Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022., pp. 66-80, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Niehren, Momar Sakho, Antonio Al Serhali |
Schema-Based Automata Determinization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022., pp. 49-65, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022., pp. 81-96, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko |
Adversarial Formal Semantics of Attack Trees and Related Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022., pp. 162-177, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Coulombe, Jayson Lynch |
Characterizing the Decidability of Finite State Automata Team Games with Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022., pp. 213-228, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 227-240, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Pagliarini, Guido Sciavicco |
Decision Tree Learning with Spatial Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 273-290, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Florian Gallay, Yliès Falcone |
Decentralized LTL Enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 135-151, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jan Rooduijn, Yde Venema |
Filtration and canonical completeness for continuous modal mu-calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 211-226, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Mikhail A. Raskin, Christoph Welzel |
Abduction of trap invariants in parameterized systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 1-17, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dhananjay Raju, Rüdiger Ehlers, Ufuk Topcu |
Adapting to the Behavior of Environments with Bounded Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 52-66, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 117-134, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 179-194, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 195-210, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Antti Kuusisto, Raine Rönnholm |
The Optimal Way to Play the Most Difficult Repeated Coordination Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 101-116, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Miikka Vilander |
Games for Succinctness of Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 258-272, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 67-82, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Raoul Koudijs |
Finite Model Property and Bisimulation for LFD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 166-178, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gustav Grabolle |
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 241-257, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Kupke, Johannes Marti, Yde Venema |
On the size of disjunctive formulas in the μ-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 291-307, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Simon Jantsch, Jakob Piribauer, Christel Baier |
Witnessing Subsystems for Probabilistic Systems with Low Tree Width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 35-51, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
Expressiveness of Extended Bounded Response LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 152-165, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Winkler, Maximilian Weininger |
Stochastic Games with Disjunctions of Multiple Objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 83-100, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | A. R. Balasubramanian, Chana Weil-Kennedy |
Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 18-34, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aniello Murano, Sasha Rubin, Martin Zimmermann 0002 |
Optimal Strategies in Weighted Limit Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020., pp. 114-130, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yong Li 0031, Moshe Y. Vardi, Lijun Zhang 0001 |
On the Power of Unambiguity in Büchi Complementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020., pp. 182-198, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer |
Local Higher-Order Fixpoint Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020., pp. 97-113, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bader Abu Radi, Orna Kupferman |
Canonicity in GFG and Transition-Based Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020., pp. 199-215, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020., pp. 149-165, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lucas M. Tabajara, Moshe Y. Vardi |
LTLf Synthesis under Partial Observability: From Theory to Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020., pp. 1-17, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lauri Hella, Antti Kuusisto, Raine Rönnholm |
Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020., pp. 82-96, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Can Baskent |
A Game Theoretical Semantics for Logics of Nonsense. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020., pp. 66-81, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020., pp. 216-233, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020., pp. 33-49, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi |
LTLf Synthesis on Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020., pp. 166-181, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger |
Comparison of Algorithms for Simple Stochastic Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020., pp. 131-148, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mara Downing, Abtin Molavi, Lucas Bang |
Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020., pp. 50-65, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Oebele Lijzenga, Tom van Dijk |
Symbolic Parity Game Solvers that Yield Winning Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020., pp. 18-32, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kitti Gelle, Szabolcs Iván |
On the Order Type of Scattered Context-Free Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019., pp. 169-182, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paritosh K. Pandya, Amol Wakankar |
Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019., pp. 91-106, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Corina Cîrstea |
Resource-Aware Automata and Games for Optimal Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019., pp. 50-65, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019., pp. 1-16, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kaizaburo Chubachi, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara |
Query Learning Algorithm for Residual Symbolic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019., pp. 140-153, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Hélouët, Nicolas Markey, Ritam Raha |
Reachability Games with Relaxed Energy Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019., pp. 17-33, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kristoffer Arnsfelt Hansen, Mikhail A. Raskin |
A Stay-in-a-Set Game without a Stationary Equilibrium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019., pp. 83-90, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tom van Dijk |
A Parity Game Tale of Two Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019., pp. 107-122, 2019. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019., pp. 34-49, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019., pp. 154-168, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tom van Dijk, Bob Rubbens |
Simple Fixpoint Iteration To Solve Parity Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019., pp. 123-139, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 176-190, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 147-160, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 220-234, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 118-132, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Galliani |
Safe Dependency Atoms and Possibility Operators in Team Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 58-72, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | A. R. Balasubramanian |
Parameterized Verification of Coverability in Well-Structured Broadcast Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 133-146, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Przybylko |
On Computing the Measures of First-Order Definable Sets of Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 206-219, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Arno Pauly |
Parameterized Games and Parameterized Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 30-42, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lisette Sanchez, Wieger Wesselink, Tim A. C. Willemse |
A Comparison of BDD-Based Parity Game Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 103-117, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Weinert |
Quantitative Reductions and Vertex-Ranked Infinite Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 1-15, 2018. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 73-87, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jesko Hecking-Harbusch, Leander Tentrup |
Solving QBF by Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 88-102, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Mauricio González, Nicolas Markey, Mickael Randour |
Multi-weighted Markov Decision Processes with Reachability Objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 250-264, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 16-29, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Federico Aschieri, Agata Ciabattoni, Francesco A. Genco |
Classical Proofs as Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 43-57, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michele Chiari, Dino Mandrioli, Matteo Pradella |
Temporal Logic and Model Checking for Operator Precedence Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 161-175, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dana Angluin, Dana Fisman |
Regular omega-Languages with an Informative Right Congruence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 265-279, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 191-205, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Aniello Murano, Adriano Peron |
Timed Context-Free Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pp. 235-249, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | David Müller 0001, Salomon Sickert |
LTL to Deterministic Emerson-Lei Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017., pp. 180-194, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|