Logic-based modeling of information transfer in cyberphysical multi-agent systems
Logic-based modeling of information transfer in multi-agent systems. Considers stochastic nature of communication in the cyberphysical setting. Allows property specification with first-order time-bounded LTL. Can be used for statistical model checking.
statistical model checking cyberphysical systems situation calculus discrete event simulation