Imperial College London

MrAlexanderManta

Faculty of EngineeringDepartment of Computing

Research Postgraduate
 
 
 
//

Contact

 

a.manta19 Website

 
 
//

Location

 

504Huxley BuildingSouth Kensington Campus

//

Summary

 

Summary

I am a PhD student under the supervision of Prof. Alessio Lomuscio  in the Verification of Autonomous Systems group and the Safe and Trusted AI CDT.  

I've received an MSc and BSc in Informatics from the Technical University of Munich. My current research revolves around verification of neural networks.

Publications

Journals

Kretínský J, Manta A, Meggendorfer T, 2019, Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis., Corr, Vol:abs/1907.12157

Conference

Kretínský J, Manta A, Meggendorfer T, 2019, Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis, Pages:404-422

More Publications