EImprove - Optimizing Energy and Comfort in Buildings based on Formal Semantics and Reinforcement Learning.

Sagar Verma, Supriya Agrawal, R. Venkatesh, Ulka Shrotri, Srinarayana Nagarathinam, Rajesh Jayaprakash, Aabriti Dutta

Browse the full DAC paper archive.