Cited By
View all- Fatnassi WShoukry Y(2024)PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial InequalitiesACM Transactions on Embedded Computing Systems10.1145/363297023:2(1-26)Online publication date: 24-Jan-2024
- Akshay SChakraborty SGoharshady AGovind RMotwani HVaranasi S(2024)Practical Approximate Quantifier Elimination for Non-linear Real ArithmeticFormal Methods10.1007/978-3-031-71162-6_6(111-130)Online publication date: 11-Sep-2024
- Schurmann BKlischat MKochdumper NAlthoff M(2022)Formal Safety Net Control Using Backward Reachability AnalysisIEEE Transactions on Automatic Control10.1109/TAC.2021.312418867:11(5698-5713)Online publication date: Nov-2022
- Show More Cited By