Diffusion-Based Robot Control Policy with Safety Awareness and Generalization
Duration: 36 months, Funding volume: € 551,772
ForSmart: Effective Formal Methods for Smart-Contract Certification
Duration: 48 months, Funding volume: € 799,850
Fixing the Broken Bridge Between Mobile Apps and the Web
Duration: 48 months, Funding volume: € 798,760
Learning to Solve Quantified Boolean Formulas
Duration: 53 months, Funding volume: € 330,890
Fast and Quantitative What-if Analysis for Dependable Communication Networks (WHATIF)
Duration: 54 months, Funding volume: € 665,230