Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL-Reference-Cited by-同舟云学术

Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL

Published:2022-10-13 Issue: Volume: Page:
ISSN:
Container-title:2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
language:
Short-container-title:

Author:

Prabhu Vinayak S.¹,Savaliya Meetkumar¹

Affiliation:

1. Colorado State University,Department of Computer Science,USA

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/9954458/9954381/09954597.pdf?arnumber=9954597

Reference33 articles.

1. Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches

2. Falsification of cyber-physical systems with robustnessguided black-box checking;waga;HSCC '20 23rd ACM International Conference on Hybrid Systems Computation and Control 2020,2020

3. Hybrid modelling of a wind turbine;schuler;ARCH CPSWeek 2016 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems volume 43 of EPiC Series in Computing,2016

4. Temporal logic falsification of cyber-physical systems using input pulse generators;ramezani;8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) 2021 volume 80 of EPiC Series in Computing,2021

5. Stochastic Local Search for Falsification of Hybrid Systems

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14