Login / Signup
A Formal Control Framework of Autonomous Vehicle for Signal Temporal Logic Tasks and Obstacle Avoidance.
Zhiyuan Huang
Weiyao Lan
Xiao Yu
Published in:
IEEE Trans. Intell. Veh. (2024)
Keyphrases
</>
autonomous vehicles
obstacle avoidance
temporal logic
path planning
mobile robot
visually guided
model checking
visual navigation
real time
dynamic environments
motion planning
robot control
multiagent systems
artificial neural networks
formal specification
computer vision
neural network
reactive systems