56 citations · 114 across the 12 of their papers we have counts for
12 papers
A MARL-based Approach for Easing MAS Organization Engineering
Julien Soulé, Jean-Paul Jamont, Michel Occello +2
Multi-Agent Systems (MAS) have been successfully applied in industry for their ability to address complex, distributed problems, especially in IoT-based systems. Their efficiency i…
Towards a Multi-Agent Simulation of Cyber-attackers and Cyber-defenders Battles
Julien Soulé, Jean-Paul Jamont, Michel Occello +2
As cyber-attacks show to be more and more complex and coordinated, cyber-defenders strategy through multi-agent approaches could be key to tackle against cyber-attacks as close as…
Streamlining Resilient Kubernetes Autoscaling with Multi-Agent Systems via an Automated Online Design Framework
Julien Soulé, Jean-Paul Jamont, Michel Occello +2
In cloud-native systems, Kubernetes clusters with interdependent services often face challenges to their operational resilience due to poor workload management issues such as resou…
An Organizationally-Oriented Approach to Enhancing Explainability and Control in Multi-Agent Reinforcement Learning
Julien Soulé, Jean-Paul Jamont, Michel Occello +2
Multi-Agent Reinforcement Learning can lead to the development of collaborative agent behaviors that show similarities with organizational concepts. Pushing forward this perspectiv…
Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow
Fabrizio Biondi, Yusuke Kawamoto, Axel Legay +1
Analysis of a probabilistic system often requires to learn the joint probability distribution of its random variables. The computation of the exact distribution is usually an exhau…
Verification of interlocking systems using statistical model checking
Quentin Cappart, Christophe Limbree, Pierre Schaus +3
In the railway domain, an interlocking is the system ensuring safe train traffic inside a station by controlling its active elements such as the signals or points. Modern interlock…
Lightweight Monte Carlo Verification of Markov Decision Processes with Rewards
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Markov decision processes are useful models of concurrency optimisation problems, but are often intractable for exhaustive verification methods. Recent work has introduced lightwei…
Smart Sampling for Lightweight Verification of Markov Decision Processes
Pedro D'Argenio, Axel Legay, Sean Sedwards +1
Markov decision processes (MDP) are useful to model optimisation problems in concurrent systems. To verify MDPs with efficient Monte Carlo techniques requires that their nondetermi…
Compositionality for Quantitative Specifications
Uli Fahrenberg, Jan Křetínský, Axel Legay +1
We provide a framework for compositional and iterative design and verification of systems with quantitative information, such as rewards, time or energy. It is based on disjunctive…
Structural Refinement for the Modal nu-Calculus
Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
We introduce a new notion of structural refinement, a sound abstraction of logical implication, for the modal nu-calculus. Using new translations between the modal nu-calculus and…
Scalable Verification of Markov Decision Processes
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Markov decision processes (MDP) are useful to model concurrent process optimisation problems, but verifying them with numerical methods is often intractable. Existing approximative…
A Parametric Counterexample Refinement Approach for Robust Timed Specifications
Louis-Marie Traonouez
Robustness analyzes the impact of small perturbations in the semantics of a model. This allows to model hardware imprecision and therefore it has been applied to determine implemen…