Download PDFOpen PDF in browserARCH-COMP18 Category Report: Results on the Falsification Benchmarks6 pages•Published: September 17, 2018AbstractThis report presents the outcomes of the 2018 friendly competition in the ARCH workshop for the category of falsification of temporal logic specifications over Cyber-Physical Systems.In: Goran Frehse (editor). ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol 54, pages 104-109.
|