Order Article Reprints
Journal: Electronics, 2025
Volume: 14
Number: 1483
Article:
Formal Verification of Autonomous Vehicle Group Control Systems via Specification Translation of Multitask Hybrid Observational Transition Systems
Authors:
by
Yifan Wang, Masaki Nakamura, Ryo Takano, Takuya Matsumoto and Kazutoshi Sakakibara
Link:
https://www.mdpi.com/2079-9292/14/7/1483
MDPI offers high quality article reprints with convenient shipping to destinations worldwide. Each reprint features a 270 gsm bright white cover
and 105 gsm premium white paper, bound with two stitches for durability and printed in full color. The cover design is customized to your article
and designed to be complimentary to the journal.