• Robust Probabilistic Model Che...

Treffer: Robust Probabilistic Model Checking With Continuous Reward Domains

Title:
Robust Probabilistic Model Checking With Continuous Reward Domains
Authors:
Ji, Xiaotong, Wang, Hanchun, Filieri, Antonio, Epifani, Ilenia
Source:
2025 IEEE/ACM 20th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) SEAMS Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2025 IEEE/ACM 20th Symposium on. :13-24 Apr, 2025
Relation:
2025 IEEE/ACM 20th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
Database:
IEEE Xplore Digital Library