Items where Author is "Zimmermann, Martin"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Article

Jacobs, Swen and Tentrup, Leander and Zimmermann, Martin
(2018) Distributed synthesis for parameterized temporal logics.
Information and Computation, 262 (2). pp. 311-328.

Jacobs, Swen and Tentrup, Leander and Zimmermann, Martin
(2017) Distributed Synthesis for Parameterized Temporal Logics.
CoRR, abs/17.

Finkbeiner, Bernd and Zimmermann, Martin
(2016) The First-Order Logic of Hyperproperties.
CoRR, abs/16.

Conference or Workshop Item

Finkbeiner, Bernd and Zimmermann, Martin
(2017) The First-Order Logic of Hyperproperties.
In: 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany.
Conference: STACS - International Symposium on Theoretical Aspects of Computer Science

Jacobs, Swen and Tentrup, Leander and Zimmermann, Martin
(2016) Distributed PROMPT-LTL Synthesis.
In: Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016..
Conference: None | Not Set

This list was generated on Fri Dec 13 00:02:56 2019 CET.