Explore projects

Code for paper "Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification"

This code is an urban heat island model inpired from the Urban Weather Generator (UWG)

Anomaly Filtering for Pedestrian Dead Reckoning Using Segment-Based Autoencoders