46 citations · 49 across the 5 of their papers we have counts for
5 papers
On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods
Paulina Stevia Nouwou Mindom, Amin Nikanjam, Foutse Khomh +1
The increasing adoption of Reinforcement Learning in safety-critical systems domains such as autonomous vehicles, health, and aviation raises the need for ensuring their safety. Ex…
Probabilistic Opacity in Refinement-Based Modeling
Béatrice Bérard, Olga Kouchnarenko, John Mullins +1
Given a probabilistic transition system (PTS) partially observed by an attacker, and an -regular predicate over the traces of , measuring the disclosure of t…
A Time-Triggered Constraint-Based Calculus for Avionic Systems
Sardaouna Hamadou, Abdelouahed Gherbi, John Mullins +1
The Integrated Modular Avionics (IMA) architec- ture and the Time-Triggered Ethernet (TTEthernet) network have emerged as the key components of a typical architecture model for rec…
Opacity with Orwellian Observers and Intransitive Non-interference
John Mullins, Moez Yeddes
Opacity is a general behavioural security scheme flexible enough to account for several specific properties. Some secret set of behaviors of a system is opaque if a passive attacke…
Quantifying Opacity
B. Bérard, J. Mullins, M. Sassolas
Opacity is a general language-theoretic framework in which several security properties of a system can be expressed. Its parameters are a predicate, given as a subset of runs of th…