2 papers
cs.LO2020
Context-Aware Temporal Logic for Probabilistic Systems
Mahmoud Elfar, Yu Wang, Miroslav Pajic
In this paper, we introduce the context-aware probabilistic temporal logic (CAPTL) that provides an intuitive way to formalize system requirements by a set of PCTL objectives with…
cs.GT2019
Security-Aware Synthesis Using Delayed-Action Games
Mahmoud Elfar, Yu Wang, Miroslav Pajic
Stochastic multiplayer games (SMGs) have gained attention in the field of strategy synthesis for multi-agent reactive systems. However, standard SMGs are limited to modeling system…