Along with the advancement in the field of pharmacovigilance, numerous challenges have emerged with the exponential rise in the incidence of adverse drug reactions resulting in to the increased rates of hospitalization, contributing to the growth of overall burden of disease which is somewhere failing to be managed efficiently, consequently giving space for the emergence of the concept of Vigil...

The alternating-time temporal logic (ATL) of Alur, Henzinger and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems and game-like multi-agent systems. In this article, we investigate the computational complexity of the satisfiability problem for ATL. For the case where the set of agents is fixed in advance, this problem was settled a...

We show that timed branching bisimilarity as defined by Van der Zwaag [17] and Baeten and Middelburg [2] is not an equivalence relation, in case of a dense time domain. We propose an adaptation based on Van der Zwaag’s definition, and prove that the resulting timed branching bisimilarity is an equivalence indeed. Furthermore, we prove that in case of a discrete time domain, Van der Zwaag’s defi...