2 papers
cs.RO2024
Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
Thao Dang, Alexandre Donzé, Inzemamul Haque +2
We present a novel method for imitation learning for control requirements expressed using Signal Temporal Logic (STL). More concretely we focus on the problem of training a neural…
cs.PL2020
Verification of a Generative Separation Kernel
Inzemamul Haque, Deepak D'Souza, Habeeb P +2
We present a formal verification of the functional correctness of the Muen Separation Kernel. Muen is representative of the class of modern separation kernels that leverage hardwar…