8 papers
On Modal Logics of Full Products of Neighborhood Frames
Rajab Aghamov, Andrey Kudinov, Maik Thanh Nguyen +1
On the product of two neighborhood frames, three natural neighborhood functions can be defined: the horizontal one assigning to a point (x, y) the set of all supersets of the Carte…
The Modal Logic of Abstraction Refinement
Jakob Piribauer, Vinzent Zschuppe
Iterative abstraction refinement techniques are one of the most prominent paradigms for the analysis and verification of systems with large or infinite state spaces. This paper inv…
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
Rajab Aghamov, Christel Baier, Joel Ouaknine +3
Dynamic Bayesian networks (DBNs) are compact graphical representations used to model probabilistic systems where interdependent random variables and their distributions evolve over…
Multiplicative Rewards in Markovian Models
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer +1
This paper studies the expected value of multiplicative rewards, where rewards obtained in each step are multiplied (instead of the usual addition), in Markov chains (MCs) and Mark…
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
Timm Spork, Christel Baier, Joost-Pieter Katoen +2
We introduce -bisimulation, a novel type of approximate probabilistic bisimulation for continuous-time Markov chains. In contrast to related notions, $(\varepsil…
Linear dynamical systems with continuous weight functions
Rajab Aghamov, Christel Baier, Toghrul Karimov +2
In discrete-time linear dynamical systems (LDSs), a linear map is repeatedly applied to an initial vector yielding a sequence of vectors called the orbit of the system. A weight fu…