66 citations · 70 across the 6 of their papers we have counts for
6 papers
Towards Cancer Hybrid Automata
Loes Olde Loohuis, Andreas Witzel, Bud Mishra
This paper introduces Cancer Hybrid Automata (CHAs), a formalism to model the progression of cancers through discrete phenotypes. The classification of cancer progression using dis…
Characterizing perfect recall using next-step temporal operators in S5 and sub-S5 Epistemic Temporal Logic
Andreas Witzel
We review the notion of perfect recall in the literature on interpreted systems, game theory, and epistemic logic. In the context of Epistemic Temporal Logic (ETL), we give a (to o…
Distributed iterated elimination of strictly dominated strategies
Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper
We characterize epistemic consequences of truthful communication among rational agents in a game-theoretic setting. To this end we introduce normal-form games equipped with an inte…
Common Knowledge in Interaction Structures
Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper
We consider two simple variants of a framework for reasoning about knowledge amongst communicating groups of players. Our goal is to clarify the resulting epistemic issues. In part…
Symmetric and Synchronous Communication in Peer-to-Peer Networks
Andreas Witzel
Motivated by distributed implementations of game-theoretical algorithms, we study symmetric process systems and the problem of attaining common knowledge between processes. We form…
A Generic Approach to Coalition Formation
Krzysztof R. Apt, Andreas Witzel
We propose an abstract approach to coalition formation that focuses on simple merge and split rules transforming partitions of a group of players. We identify conditions under whic…