![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
13th GandALF 2022: Madrid, Spain
- Pierre Ganty, Dario Della Monica:
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022. EPTCS 370, 2022 - Benedikt Bollig, Arnaud Sangnier, Olivier Stietel:
On the Existential Fragments of Local First-Order Logics with Data. 1-16 - Florian Bruse, David Kronenberger, Martin Lange:
Capturing Bisimulation-Invariant Exponential-Time Complexity Classes. 17-33 - Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir:
Complexity through Translations for Modal Logic with Recursion. 34-48 - Joachim Niehren, Momar Sakho, Antonio Al Serhali:
Schema-Based Automata Determinization. 49-65 - Hans de Nivelle, Dina Muktubayeva:
Generating Tokenizers with Flat Automata. 66-80 - Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot
, Benedikt Bollig, Martin Leucker, Daniel Neider
, Rajarshi Roy:
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. 81-96 - Laura Bozzelli, Adriano Peron:
Parametric Interval Temporal Logic over Infinite Words. 97-113 - Hadar Frenkel, Sarai Sheinvald:
Realizable and Context-Free Hyperlanguages. 114-130 - Renato Acampora
, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti
:
Controller Synthesis for Timeline-based Games. 131-146 - Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, 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. 147-161 - Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko:
Adversarial Formal Semantics of Attack Trees and Related Problems. 162-177 - 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. 178-193 - Felix Stutz
, Damien Zufferey:
Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types. 194-212 - Michael J. Coulombe, Jayson Lynch:
Characterizing the Decidability of Finite State Automata Team Games with Communication. 213-228
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.