Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic., , , , and . NFM, volume 11460 of Lecture Notes in Computer Science, page 355-362. Springer, (2019)MLE+: a tool for integrated design and deployment of energy efficient building controls., , , and . BuildSys@SenSys, page 123-130. ACM, (2012)MLE+: design and deployment integration for energy-efficient building controls., , , and . BuildSys@SenSys, page 215-216. ACM, (2012)Scalable scheduling of energy control systems., and . EMSOFT, page 137-146. IEEE, (2015)Differentiable Safe Controller Design Through Control Barrier Functions., , , and . IEEE Control. Syst. Lett., (2023)MEERA: Cross-Layer Methodology for Energy Efficient Resource Allocation in Wireless Networks., , , , , , and . IEEE Trans. Wirel. Commun., 7 (1): 98-109 (2008)Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks., and . EURASIP J. Wirel. Commun. Netw., (2010)Green scheduling of control systems for peak demand reduction., , , and . CDC/ECC, page 5131-5136. IEEE, (2011)Data predictive control using regression trees and ensemble learning., , and . CDC, page 4446-4451. IEEE, (2017)Towards Explainability in Modular Autonomous System Software., , , and . IV, page 1-8. IEEE, (2023)