![](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
9th GandALF 2018: Saarbrücken, Germany
- Andrea Orlandini, Martin Zimmermann
:
Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018. EPTCS 277, 2018 - Alexander Weinert
:
Quantitative Reductions and Vertex-Ranked Infinite Games. 1-15 - Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin:
Constrained Existence Problem for Weak Subgame Perfect Equilibria with ω-Regular Boolean Objectives. 16-29 - Arno Pauly:
Parameterized Games and Parameterized Automata. 30-42 - Federico Aschieri, Agata Ciabattoni
, Francesco A. Genco:
Classical Proofs as Parallel Programs. 43-57 - Pietro Galliani:
Safe Dependency Atoms and Possibility Operators in Team Semantics. 58-72 - Éric Goubault, Jérémy Ledent, Sergio Rajsbaum:
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability. 73-87 - Jesko Hecking-Harbusch, Leander Tentrup:
Solving QBF by Abstraction. 88-102 - Lisette Sanchez, Wieger Wesselink, Tim A. C. Willemse:
A Comparison of BDD-Based Parity Game Solvers. 103-117 - Petra van den Bos, Mariëlle Stoelinga
:
Tester versus Bug: A Generic Framework for Model-Based Testing via Games. 118-132 - A. R. Balasubramanian
:
Parameterized Verification of Coverability in Well-Structured Broadcast Networks. 133-146 - Tobias R. Gundersen, Florian Lorber, Ulrik Nyman, Christian Ovesen:
Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar. 147-160 - Michele Chiari
, Dino Mandrioli, Matteo Pradella
:
Temporal Logic and Model Checking for Operator Precedence Languages. 161-175 - Luca Geatti
, Nicola Gigante
, Angelo Montanari, Mark Reynolds
:
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. 176-190 - Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground. 191-205 - Marcin Przybylko:
On Computing the Measures of First-Order Definable Sets of Trees. 206-219 - Thiago Alves Rocha
, Ana Teresa C. Martins, Francicleber Martins Ferreira:
On Finding a First-Order Sentence Consistent with a Sample of Strings. 220-234 - Laura Bozzelli, Aniello Murano
, Adriano Peron:
Timed Context-Free Temporal Logics. 235-249 - Patricia Bouyer, Mauricio González, Nicolas Markey, Mickael Randour:
Multi-weighted Markov Decision Processes with Reachability Objectives. 250-264 - Dana Angluin, Dana Fisman
:
Regular omega-Languages with an Informative Right Congruence. 265-279
![](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.