Christian Kroiß

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 1

Top Topics

Action Theories

Formal Specification

Situation Calculus

Top Venues

Future Gener. Comput. Syst.

Ludwig Maximilian University of Munich, Germany (PHD)

Education History

Ludwig Maximilian University of Munich, Germany

PHD

Publications

Christian Kroiß, Tomás Bures
Logic-based modeling of information transfer in cyber-physical multi-agent systems. Future Gener. Comput. Syst. 56 (2016)
Christian Kroiß
Simulation and Statistical Model Checking of Logic-Based Multi-Agent System Models. KES-AMSTA (2014)
Christian Kroiß
A statistical model checker for situation calculus based multi-agent models. AAMAS (2014)
Christian Kroiß, Tomás Bures
Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems. ICTCC (2014)
Andreas Schroeder, Christian Kroiß, Thomas Mair
Context Acquisition and Acting in Pervasive Physiological Applications. MobiQuitous (2010)