Login / Signup
Florian Gallay
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Distributed Agents
Linear Time Temporal Logic
Digital Rights
Cooperative
Top Venues
GandALF
RV
</>
Publications
</>
Florian Gallay
,
Yliès Falcone
Decent: A Benchmark for Decentralized Enforcement.
RV
(2022)
Florian Gallay
,
Yliès Falcone
Decentralized LTL Enforcement.
GandALF
(2021)