default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th GandALF 2021: Padua, Italy
- Pierre Ganty, Davide Bresolin:
Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021. EPTCS 346, 2021 - Javier Esparza, Mikhail A. Raskin
, Christoph Welzel:
Abduction of trap invariants in parameterized systems. 1-17 - A. R. Balasubramanian, Chana Weil-Kennedy:
Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent. 18-34 - Simon Jantsch, Jakob Piribauer, Christel Baier:
Witnessing Subsystems for Probabilistic Systems with Low Tree Width. 35-51 - Dhananjay Raju, Rüdiger Ehlers, Ufuk Topcu:
Adapting to the Behavior of Environments with Bounded Memory. 52-66 - Erich Grädel, Niels Lücking, Matthias Naaf:
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials. 67-82 - Tobias Winkler, Maximilian Weininger:
Stochastic Games with Disjunctions of Multiple Objectives. 83-100 - Antti Kuusisto, Raine Rönnholm:
The Optimal Way to Play the Most Difficult Repeated Coordination Games. 101-116 - Shufang Zhu, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi:
On the Power of Automata Minimization in Temporal Synthesis. 117-134 - Florian Gallay, Yliès Falcone:
Decentralized LTL Enforcement. 135-151 - Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Expressiveness of Extended Bounded Response LTL. 152-165 - Raoul Koudijs:
Finite Model Property and Bisimulation for LFD. 166-178 - Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete. 179-194 - Domenico Cantone, Andrea De Domenico, Pietro Maugeri:
On the Convexity of a Fragment of Pure Set Theory with Applications within a Nelson-Oppen Framework. 195-210 - Jan Rooduijn, Yde Venema:
Filtration and canonical completeness for continuous modal mu-calculi. 211-226 - Ashwani Anand, Nathanaël Fijalkow, Aliénor Goubault-Larrecq, Jérôme Leroux, Pierre Ohlmann:
New Algorithms for Combinations of Objectives using Separating Automata. 227-240 - Gustav Grabolle:
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings. 241-257 - Miikka Vilander:
Games for Succinctness of Regular Expressions. 258-272 - Giovanni Pagliarini, Guido Sciavicco:
Decision Tree Learning with Spatial Modal Logics. 273-290 - Clemens Kupke, Johannes Marti, Yde Venema:
On the size of disjunctive formulas in the μ-calculus. 291-307
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.
last updated on 2024-10-02 20:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
