Formal Synthesis of Lyapunov Neural Networks

• Department of Computer Science, Oxford
• EPSRC Centre for Doctoral Training in AIMS
• EPSRC/BBSRC Centre for Doctoral Training in Synthetic Biology

• University of Oxford
• Verification Seminars
• Cyber-physical Systems Seminars
• The Alan Turing Institute

Oxford Control and Verification (OXCAV) Group

C/O Department of Computer Science

Wolfson Building, Parks Rd, Oxford OX1 3QD

T: +44 (0) 18656 10767