office: M-building, 2nd floor, room 2170D
office phone: +46 46 222 4785
email: martina [at] control.lth.se
- August 2017: Our paper on formal verification of event-triggered network bandwidth allocation strategies was accepted and will be presented at RTSS2017, a publication preprint is now online.
- June 2017: Our paper on automated control for software applications that uses multiple actuators to tackle multiple objectives simultaneously was accepted and will be presented at FSE2017. A publication preprint is available online and further information, including the code for some of the experiments, can be found on the paper page.