Probabilistic Logical Time for IoT

Achievements Publications Visits

Posts

Jul 17, 2021
Summer School on Formal Methods and AI 2021
Aug 1, 2020
TASE 2021
Jan 1, 2020
PLoT4IoT

Probabilistic Logical Time for IoT

Probabilistic Logical Time for IoT
Frederic.Mallet@inria.fr

fmallet
frederic-mallet
fmallet

This is the description of the work done in the context of the Associated-Team PLoT4IoT between Inria-I3S Team-Project Kairos and East China Normal University in Shanghai, China.