Search for persons
X
?
2022 8th International Conference on Energy Efficiency and Agricultural Engineering (EE&AE) ,
3
Would digitalisation support transition towards more sustai..:
, In:
?
2020 European Control Conference (ECC) ,
6
Attraction domain estimation of linear controllers for the ..:
, In:
?
Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops ,
7
Formal Modelling and Verification as Rigorous Review Techno..:
, In:
?
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) ,
8
Multi-Agent Actor-Critic Method for Joint Duty-Cycle and Tr..:
, In:
?
Proceedings of the 23rd Conference on Design, Automation and Test in Europe ,
9
Multi-agent actor-critic method for joint duty-cycle and tr..:
, In:
?
Complex Systems Design & Management ,
12
Formal Methods in Systems Integration: Deployment of Formal..:
, In:
?
Software Technologies: Applications and Foundations; Lecture Notes in Computer Science ,
13
Exploring Applications of Formal Methods in the INSPEX Proj..:
, In:
?
Proceedings of the 2016 International Conference on Embedded Wireless Systems and Networks ,
15