Stage M 2
- Connecting Isabelle/C with Isabelle/AutoCorres December 06, 2024
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