Harshit Jitendra Motwani
Harshit Jitendra Motwani
Affiliation: TU Wien
Pages in this Program
LP-Based Weighted Model Integration over Non-Linear Real Arithmetic
Parallel Abstract Interpretation for Polynomial Programs with Range Bound Assertions
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑