TY  - RPRT
TI  - Energetic Resilience under Temporal Logic Specifications
AU  - Ratnangshu Das
AU  - Ram Padmanabhan
AU  - Melkior Ornik
AU  - Pushpak Jagtap
PY  - 2026
UR  - https://arxiv.org/abs/2604.14203
ID  - 2604.14203
ER  -