Cited By
View all- Ghorbel BPrabhu V(2024) Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL * ) 2024 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)10.1109/MEMOCODE63347.2024.00006(1-11)Online publication date: 3-Oct-2024
- Peltomäki JWinsten JMethais MPorres I(2024)Testing cyber-physical systems with explicit output coverage2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)10.1109/ICSTW60967.2024.00036(128-136)Online publication date: 27-May-2024
- Yancosek JBaheri A(2024)BEACON: A Bayesian Evolutionary Approach for Counterexample Generation of Control SystemsIEEE Access10.1109/ACCESS.2024.343651512(106455-106465)Online publication date: 2024
- Show More Cited By