Enrico Marchioni

Lecturer, University of Southampton

Joined

July 2019

Names

Enrico Marchioni

Emails

****@soton.ac.uk (Confirmed)

Personal Links

Career & Education History

Lecturer

University of Southampton (soton.ac.uk)

2017 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

Logic

Present

Game Theory

Present

Publications

Quantifiers for Differentiable Logics in Rocq (Extended Abstract)
Jairo Miguel Marulanda-Giraldo, Ekaterina Komendantskaya, Alessandro Bruni, Reynald Affeldt, Matteo Capucci, Enrico Marchioni
- SAIV 2025 Proceedings
- Readers: Everyone
Rational Verification: From Model Checking to Equilibrium Checking
Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi
- 2016 (modified: 16 Jul 2019)
- AAAI 2016
- Readers: Everyone

Co-Authors