3 citations · 6 across the 6 of their papers we have counts for
6 papers
An STREL-based Formulation of Spatial Resilience in Cyber-Physical Systems
Zeyu Zhang, Hongkai Chen, Nicola Paoletti +2
Resiliency is the ability of a system to quickly recover from a violation (recoverability) and avoid future violations for as long as possible (durability). In the spatial setting,…
Causal Temporal Reasoning for Markov Decision Processes
Milad Kazemi, Nicola Paoletti
We introduce , a new probabilistic temporal logic for the verification of Markov Decision Processes (MDP). PCFTL is th…
An STL-based Approach to Resilient Control for Cyber-Physical Systems
Hongkai Chen, Scott A. Smolka, Nicola Paoletti +1
We present ResilienC, a framework for resilient control of Cyber-Physical Systems subject to STL-based requirements. ResilienC utilizes a recently developed formalism for specifyin…
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
We consider the problem of predictive monitoring (PM), i.e., predicting at runtime the satisfaction of a desired property from the current system's state. Due to its relevance for…
An STL-based Formulation of Resilience in Cyber-Physical Systems
Hongkai Chen, Shan Lin, Scott A. Smolka +1
Resiliency is the ability to quickly recover from a violation and avoid future violations for as long as possible. Such a property is of fundamental importance for Cyber-Physical S…
Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation
Pallavi Bagga, Nicola Paoletti, Kostas Stathis
We study how to exploit the notion of strategy templates to learn strategies for multi-issue bilateral negotiation. Each strategy template consists of a set of interpretable parame…