Lesecq, Suzanne
183  Ergebnisse:
Personensuche X
?
3

Would digitalisation support transition towards more sustai..:

, In: 2022 8th International Conference on Energy Efficiency and Agricultural Engineering (EE&AE),
 
?
4

Highly Adaptive Linear Actor-Critic for Lightweight Energy-..:

Sawaguchi, Sota ; Christmann, Jean-Frédéric ; Lesecq, Suzanne
Journal of Low Power Electronics and Applications.  11 (2021)  2 - p. 17 , 2021
 
?
5

Formal methods by stealth: The INSPEX experience:

Banach, Richard ; Razavi, Joseph ; Debicki, Oivier.
Journal of Software: Evolution and Process.  33 (2021)  12 - p. , 2021
 
?
6

Formal Modelling and Verification as Rigorous Review Techno..:

, In: Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops,
 
?
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,
 
?
 
?
10

Multi-Agent Actor-Critic Method for Joint Duty-Cycle and Tr..:

, In: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE),
 
?
12

Exploring Applications of Formal Methods in the INSPEX Proj..:

, In: Software Technologies: Applications and Foundations; Lecture Notes in Computer Science,
Razavi, Joseph ; Banach, Richard ; Debicki, Olivier... - p. 205-215 , 2018
 
?
15

Implementation of an Energy Management Control Strategy for..:

, In: Proceedings of the 2016 International Conference on Embedded Wireless Systems and Networks,
 
1-15