Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems
Research article (2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2017) · cited 28× · AI/ML