Login / Signup

Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information.

Amr AlanwarFrank J. JiangMaryam SharifiDimos V. DimarogonasKarl Henrik Johansson
Published in: ICRA (2022)
Keyphrases
  • temporal logic
  • data driven
  • model checking
  • spatial information
  • reachability analysis
  • contextual information