Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle
doi 10.21236/ada522591
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2009
Authors
Publisher
Defense Technical Information Center
Available in full text
January 1, 2009
Defense Technical Information Center