EPiC series in computing · 2019 · 29 citations · 11 references
ComputingComputer ScienceSystems EngineeringFormal MethodsReal-time SystemsSafety EngineeringAssertion-based VerificationDeductive VerificationModel CheckingSpecification LanguagesTemporal LogicVerificationCyber-physical Systems SafetyReal-time Systems VerificationTemporal Logic AssertionsTemporal Logic SpecificationTemporal Logic VerificationTemporal SpecificationsTemporal Verification
This report presents the results from the 2019 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the organization of the competition and how it differs from previous years. We give background on the participating teams and tools and discuss the selected benchmarks and results. The benchmarks are available on the ARCH website1, as well as in the competition’s gitlab repository2. The main outcome of the 2019 competition is a common benchmark repository, and an initial base-line for falsification, with results from multiple tools, which will facilitate comparisons and tracking of the state-of-the-art in falsification in the future.
11
Asynchronous Methods for Deep Reinforcement Learning
Volodymyr Mnih, Adrià Puigdomènech Badia, Mehdi Mirza et al. · arXiv (Cornell University) · 2016 · 1.7K citations · Full text
Specifying real-time properties with metric temporal logic
Ron Koymans · Real-Time Systems · 1990 · 1.2K citations
Powertrain control verification benchmark
Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski et al. · 2014 · 174 citations
Engineering, Automotive Engineering, Systems Engineering +16