Portal - CONCUR 2019

CONCUR 2019	August 27-30, 2019, Amsterdam, the Netherlands
30th International Conference on Concurrency Theory (CONCUR 2019) Wan Fokkink and Rob van Glabbeek (Eds.)
ISBN 978-3-95977-121-4, LIPICS Vol. 140	ISSN 1868-8969

Additional Information

License
Conference Website
Complete volume (PDF, 21 MB)
Search Publication Server

Authors

Beillahi, Sidi Mohamed

Bønneland, Frederik Meyer

Chatterjee, Krishnendu

Hecking-Harbusch, Jesko

Kwiatkowska, Marta Z.

Raskin, Jean-François

Reynier, Pierre-Alain

van den Bogaard, Marie

Front Matter, Table of Contents, Preface, Conference Organization

Authors: Fokkink, Wan ; van Glabbeek, Rob

Abstract | Document (295 KB) | BibTeX

Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper)

Authors: Kwiatkowska, Marta Z.

Abstract | Document (1,402 KB) | BibTeX

Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper)

Authors: Larsen, Kim G.

Abstract | Document (344 KB) | BibTeX

Program Invariants (Invited Talk)

Authors: Ouaknine, Joël

Abstract | Document (178 KB) | BibTeX

Concurrent Algorithms and Data Structures for Model Checking (Invited Talk)

Authors: van de Pol, Jaco

Abstract | Document (203 KB) | BibTeX

Of Cores: A Partial-Exploration Framework for Markov Decision Processes

Authors: Kretínský, Jan ; Meggendorfer, Tobias

Abstract | Document (570 KB) | BibTeX

Combinations of Qualitative Winning for Stochastic Parity Games

Authors: Chatterjee, Krishnendu ; Piterman, Nir

Abstract | Document (497 KB) | BibTeX

Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs

Authors: Chatterjee, Krishnendu ; Dvorák, Wolfgang ; Henzinger, Monika ; Svozil, Alexander

Abstract | Document (713 KB) | BibTeX

Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives

Authors: Brihaye, Thomas ; Delgrange, Florent ; Oualhadj, Youssouf ; Randour, Mickael

Abstract | Document (612 KB) | BibTeX

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Authors: Bacci, Giorgio ; Bacci, Giovanni ; Larsen, Kim G. ; Mardare, Radu ; Tang, Qiyi ; van Breugel, Franck

Abstract | Document (623 KB) | BibTeX

Asymmetric Distances for Approximate Differential Privacy

Authors: Chistikov, Dmitry ; Murawski, Andrzej S. ; Purser, David

Abstract | Document (692 KB) | BibTeX

Event Structures for Mixed Choice

Authors: de Visme, Marc

Abstract | Document (588 KB) | BibTeX

Verification of Flat FIFO Systems

Authors: Finkel, Alain ; Praveen, M.

Abstract | Document (589 KB) | BibTeX

The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games

Authors: Brihaye, Thomas ; Bruyère, Véronique ; Goeminne, Aline ; Raskin, Jean-François ; van den Bogaard, Marie

Abstract | Document (557 KB) | BibTeX

On the Complexity of Reachability in Parametric Markov Decision Processes

Authors: Winkler, Tobias ; Junges, Sebastian ; Pérez, Guillermo A. ; Katoen, Joost-Pieter

Abstract | Document (573 KB) | BibTeX

Timed Basic Parallel Processes

Authors: Clemente, Lorenzo ; Hofman, Piotr ; Totzke, Patrick

Abstract | Document (760 KB) | BibTeX

Revisiting Local Time Semantics for Networks of Timed Automata

Authors: Govind, R. ; Herbreteau, Frédéric ; Srivathsan, B. ; Walukiewicz, Igor

Abstract | Document (542 KB) | BibTeX

Approximate Learning of Limit-Average Automata

Authors: Michaliszyn, Jakub ; Otop, Jan

Abstract | Document (529 KB) | BibTeX

Alternating Weak Automata from Universal Trees

Authors: Daviaud, Laure ; Jurdzinski, Marcin ; Lehtinen, Karoliina

Abstract | Document (444 KB) | BibTeX

Good for Games Automata: From Nondeterminism to Alternation

Authors: Boker, Udi ; Lehtinen, Karoliina

Abstract | Document (542 KB) | BibTeX

Determinacy in Discrete-Bidding Infinite-Duration Games

Authors: Aghajohari, Milad ; Avni, Guy ; Henzinger, Thomas A.

Abstract | Document (724 KB) | BibTeX

Energy Mean-Payoff Games

Authors: Bruyère, Véronique ; Hautem, Quentin ; Randour, Mickael ; Raskin, Jean-François

Abstract | Document (589 KB) | BibTeX

Equilibrium Design for Concurrent Games

Authors: Gutierrez, Julian ; Najib, Muhammad ; Perelli, Giuseppe ; Wooldridge, Michael

Abstract | Document (581 KB) | BibTeX

Partial Order Reduction for Reachability Games

Authors: Bønneland, Frederik Meyer ; Jensen, Peter Gjøl ; Larsen, Kim G. ; Muñiz, Marco ; Srba, Jirí

Abstract | Document (565 KB) | BibTeX

Synthesis of Data Word Transducers

Authors: Exibard, Léo ; Filiot, Emmanuel ; Reynier, Pierre-Alain

Abstract | Document (550 KB) | BibTeX

Register-Bounded Synthesis

Authors: Khalimov, Ayrat ; Kupferman, Orna

Abstract | Document (500 KB) | BibTeX

Translating Asynchronous Games for Distributed Synthesis

Authors: Beutner, Raven ; Finkbeiner, Bernd ; Hecking-Harbusch, Jesko

Abstract | Document (583 KB) | BibTeX

Long-Run Average Behavior of Vector Addition Systems with States

Authors: Chatterjee, Krishnendu ; Henzinger, Thomas A. ; Otop, Jan

Abstract | Document (526 KB) | BibTeX

Reachability for Bounded Branching VASS

Authors: Mazowiecki, Filip ; Pilipczuk, Michal

Abstract | Document (713 KB) | BibTeX

Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents

Authors: Guzmán, Michell ; Knight, Sophia ; Quintero, Santiago ; Ramírez, Sergio ; Rueda, Camilo ; Valencia, Frank

Abstract | Document (637 KB) | BibTeX

Robustness Against Transactional Causal Consistency

Authors: Beillahi, Sidi Mohamed ; Bouajjani, Ahmed ; Enea, Constantin

Abstract | Document (673 KB) | BibTeX

Expressive Power of Broadcast Consensus Protocols

Authors: Blondin, Michael ; Esparza, Javier ; Jaax, Stefan

Abstract | Document (594 KB) | BibTeX

Reconfiguration and Message Losses in Parameterized Broadcast Networks

Authors: Bertrand, Nathalie ; Bouyer, Patricia ; Majumdar, Anirban

Abstract | Document (601 KB) | BibTeX

Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries

Authors: Bertrand, Nathalie ; Konnov, Igor ; Lazic, Marijana ; Widder, Josef

Abstract | Document (728 KB) | BibTeX

A Sound Foundation for the Topological Approach to Task Solvability

Authors: Ledent, Jérémy ; Mimram, Samuel

Abstract | Document (499 KB) | BibTeX

Game-Based Local Model Checking for the Coalgebraic mu-Calculus

Authors: Hausmann, Daniel ; Schröder, Lutz

Abstract | Document (527 KB) | BibTeX

Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum

Authors: Dorsch, Ulrich ; Milius, Stefan ; Schröder, Lutz

Abstract | Document (486 KB) | BibTeX

Bialgebraic Semantics for String Diagrams

Authors: Bonchi, Filippo ; Piedeleu, Robin ; Sobocinski, Pawel ; Zanasi, Fabio

Abstract | Document (736 KB) | BibTeX

A Sound Algorithm for Asynchronous Session Subtyping

Authors: Bravetti, Mario ; Carbone, Marco ; Lange, Julien ; Yoshida, Nobuko ; Zavattaro, Gianluigi

Abstract | Document (587 KB) | BibTeX

Domain-Aware Session Types

Authors: Caires, Luís ; Pérez, Jorge A. ; Pfenning, Frank ; Toninho, Bernardo

Abstract | Document (628 KB) | BibTeX

Reordering Derivatives of Trace Closures of Regular Languages

Authors: Maarand, Hendrik ; Uustalu, Tarmo

Abstract | Document (509 KB) | BibTeX

Kleene Algebra with Observations

Authors: Kappé, Tobias ; Brunet, Paul ; Rot, Jurriaan ; Silva, Alexandra ; Wagemaker, Jana ; Zanasi, Fabio

Abstract | Document (503 KB) | BibTeX

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI

30th International Conference on Concurrency Theory (CONCUR 2019)