Concepedia

Mirco Giacobbe

MG

5

Publications

224

Citations

5

H-Index

2016

Active since

Affiliations

University of Oxford(Current)

University of Birmingham

Mirco Giacobbe is an author at University of Oxford specializing in verification, engineering, and systems engineering.

Top concepts

EngineeringVerificationComputer ScienceSystems EngineeringFormal MethodsFormal VerificationGame TheoryRobot LearningProcess ControlMachine Learning

Publications per year

2016–2021

5

Publications

5

Formal Synthesis of Lyapunov Neural Networks

Alessandro Abate, Daniele Ahmed, Mirco Giacobbe et al. · IEEE Control Systems Letters · 2020 · 114 citations · Full text

Alessandro Abate, Daniele Ahmed, Alec Edwards et al. · 2021 · 58 citations

Engineering, Barrier Certificates, Automatic Differentiation +11

Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems

Yulong Gao, Alessandro Abate, Frank J. Jiang et al. · IEEE Transactions on Automatic Control · 2021 · 22 citations

Engineering, Temporal Logic Trees, Reachability Problem +16

Verifying Reinforcement Learning up to Infinity

Edoardo Bacci, Mirco Giacobbe, David Parker · 2021 · 18 citations · Full text

Artificial Intelligence, Mathematical Programming, Engineering +13

Model checking the evolution of gene regulatory networks

Mirco Giacobbe, Călin C. Guet, Ashutosh Gupta et al. · Acta Informatica · 2016 · 12 citations · Full text

Rows per page

1–5 of 5