2 citations · 2 across the 7 of their papers we have counts for
4 papers · 1 filter
HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
Vishnu Murali, Amin Falah, Ashutosh Trivedi +1
We introduce a functional inductive framework to verify discrete-time dynamical systems against hyperproperties specified as Hyperlinear temporal logic formulae via a notion of Hyp…
Monotone Neural Barrier Certificates
Saber Jafarpour, Alireza Nadali, Ashutosh Trivedi +1
This report presents a neurosymbolic framework for safety verification and control synthesis in high-dimensional monotone dynamical systems without relying on explicit models or co…
Transfer Learning for Control Systems via Neural Simulation Relations
Alireza Nadali, Bingzhuo Zhong, Ashutosh Trivedi +1
Transfer learning is an umbrella term for machine learning approaches that leverage knowledge gained from solving one problem (the source domain) to improve speed, efficiency, and…
Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model
Alireza Nadali, Ashutosh Trivedi, Majid Zamani
Control barrier certificates have proven effective in formally guaranteeing the safety of the control systems. However, designing a control barrier certificate is a time-consuming…