Modeling and Formal Verification of Vehicle Platooning System

TR Number

Date

2023-05-15

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Formal Verification, Logic, Hybrid Dynamical Systems, Proof Theory

Citation

Persistent link

https://hdl.handle.net/10919/120956

Collections

All Faculty Deposits
Scholarly Works, Electrical and Computer Engineering

We collect and process your personal information for the following purposes: Authentication, Preferences, Acknowledgement and Statistics.
To learn more, please read our privacy policy.

Customize