Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking.

Radu Florin Tulcan, Rose Bohrer, Yov Montacute, Kevin Zhou, Yusuke Kawamoto, Ichiro Hasuo

Browse the full FM paper archive.