research
∙
09/06/2022
Bayesian Statistical Model Checking for Multi-agent Systems using HyperPCTL*
In this paper, we present a Bayesian method for statistical model checki...
share
research
∙
10/07/2021
Bisimulations for Neural Network Reduction
We present a notion of bisimulation that induces a reduced network which...
research
∙
09/17/2021
Probabilistic Stability Analysis of Planar Robots with Piecewise Constant Derivative Dynamics
In this paper, we study the probabilistic stability analysis of a subcla...
research
∙
09/27/2020
Learning event-driven switched linear systems
We propose an automata theoretic learning algorithm for the identificati...
research
∙
07/19/2020
Optimal tool path planning for 3D printing with spatio-temporal and thermal constraints
In this paper, we address the problem of synthesizing optimal path plans...
research
∙
07/18/2020