?
Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science ,
3
The Inverse Problem for Neural Networks:
, In:
?
Lecture Notes in Computer Science; Integrated Formal Methods ,
4
Conservative Time Discretization: A Comparative Study:
, In:
?
Lecture Notes in Computer Science; Reachability Problems ,
7
Reachability of Weakly Nonlinear Systems Using Carleman Lin..:
, In:
?
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ,
8
Efficient reachability analysis of parametric linear hybrid..:
, In:
?
2020 IEEE Congreso Bienal de Argentina (ARGENCON) ,
9
Application of quantum optimization techniques (QUBO method..:
, In:
?
Lecture Notes in Computer Science; Reachability Problems ,
10
Case Study: Reachability and Scalability in a Unified Comba..:
, In:
?
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control ,
11
JuliaReach : a toolbox for set-based reachability:
, In:
?
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) ,
12