Eichelbeck, Michael;Althoff, Matthias
Fair Cost Allocation in Energy Communities under Forecast Uncertainty
IEEE Open Access Journal of Power and Energy
2024
1-1

Eichelbeck, Michael;Althoff, Matthias
Fair Cost Allocation in Energy Communities under Forecast Uncertainty
IEEE Open Access Journal of Power and Energy
2024
1-1

Eichelbeck, Michael;Althoff, Matthias
Fair Cost Allocation in Energy Communities under Forecast Uncertainty
IEEE Open Access Journal of Power and Energy
2024
1-1

Eichelbeck, Michael;Althoff, Matthias
Fair Cost Allocation in Energy Communities under Forecast Uncertainty
IEEE Open Access Journal of Power and Energy
2024
1-1

Eichelbeck, Michael;Markgraf, Hannah;Althoff, Matthias
CommonPower: A Framework for Safe Data-Driven Smart Grid Control
2024

Fill, Jonas;Eichelbeck, Michael;Ebner, Michael
Predicting building types and functions at transnational scale
2024

Eichelbeck, Michael;Althoff, Matthias
Fair Cost Allocation in Energy Communities under Forecast Uncertainty
IEEE Open Access Journal of Power and Energy
2024
1-1

Wetzlinger, Mark;Kotsev, Viktor;Kulmburg, Adrian;Althoff, Matthias
Implementation of Polyhedral Operations in CORA 2024
Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
EasyChair
2024

Wetzlinger, Mark;Althoff, Matthias
Randomized Generation of Arbitrarily Difficult Verification Benchmarks for Linear Time-Invariant Systems
Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
EasyChair
2024

Manzanas Lopez, Diego;Althoff, Matthias;Benet, Luis;Blab, Clemens;Forets, Marcelo;Jia, Yuhao;Johnson, Taylor T;Kranzl, Manuel;Ladner, Tobias;Linauer, Lukas;Neubauer, Philipp;Neubauer, Sophie;Schilling, Christian;Zhang, Huan;Zhong, Xiangru
ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
EPiC Series in Computing
EasyChair
2024