Kochdumper, N., & Bak, S. (2023). Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis.
Style de citation Chicago (17e éd.)Kochdumper, Niklas, et Stanley Bak. Fully Automated Verification of Linear Time-Invariant Systems Against Signal Temporal Logic Specifications via Reachability Analysis. 2023.
Style de citation MLA (9e éd.)Kochdumper, Niklas, et Stanley Bak. Fully Automated Verification of Linear Time-Invariant Systems Against Signal Temporal Logic Specifications via Reachability Analysis. 2023.
Attention : ces citations peuvent ne pas être correctes à 100%.