Qi Zhang Ioannis Stefanakos Javier Cámara 0001 Radu Calinescu Robot Mission Adaptation with Quantitative Guarantees. 273-289 2025 SEAA https://doi.org/10.1007/978-3-032-04190-6_17 conf/euromicro/2025 db/conf/euromicro/euromicro2025.html#ZhangSCC25 streams/conf/euromicro