output
20172024
most citedUnified Multi-Modal Landmark Tracking for Tightly Coupled Lidar-Visual-Inertial Odometry

147 citations

researchers with a paper here
collaborating institutions
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2022

Bounded Invariant Checking for Stateflow

Predrag Filipovikj, Gustav Ung, Dilian Gurov +1

Stateflow models are complex software models, often used as part of industrial safety-critical software solutions designed with Matlab Simulink. Being part of safety-critical solut…