Stage M2

2023

Modeling Cyber-Physical Systems with HOL-CyberPhi October 17, 2023

2022

Faithful Nash equilibria in games over graphs November 09, 2022
Graphical Language for Clifford Hermiticians in Quantum Computing October 14, 2022

2021

Synchronization in Stochastic Games December 13, 2021
Génération de simulations d'automobiles autonomes à partir d’un modèle formel December 09, 2021
Génération de simulations automobile à partir d’un modèle formel December 09, 2021
Quantum networks theory November 03, 2021
Quantum Networks Theory November 03, 2021
Deciding the Logic of Subsequences April 27, 2021
Specification and Verification of Properties of Neural Networks April 04, 2021
Observe locally, control globally April 03, 2021
Observe locally, control globally April 03, 2021