Login / Signup

Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features.

Xiao LiGuy RosmanIgor GilitschenskiCristian Ioan VasileJonathan A. DeCastroSertac KaramanDaniela Rus
Published in: IEEE Robotics Autom. Lett. (2021)
Keyphrases
  • temporal logic
  • model checking
  • concurrent systems
  • linear temporal logic
  • generative model
  • modal logic
  • mazurkiewicz traces
  • belief revision
  • transition systems