research
∙
03/07/2023
Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks
This work introduces efficient symbolic algorithms for quantitative reac...
share
research
∙
06/15/2022
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
Neural Networks (NNs) have been successfully employed to represent the s...
research
∙
03/14/2022
