Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection
IEEE Transactions on Intelligent Transportation Systems - United States
doi 10.1109/tits.2018.2869633
Full Text
Open PDFAbstract
Available in full text
Date
November 1, 2018
Authors
Publisher
Institute of Electrical and Electronics Engineers (IEEE)