Collaborated with:
H.Schlingloff
Talks about:
transport (1) monitor (1) autonom (1) tempor (1) robot (1) onlin (1) logic (1) valu (1)
Person: Felix Lorenz
DBLP: Lorenz:Felix
Contributed to:
Wrote 1 papers:
- CASE-2018-LorenzS #logic
- Online-Monitoring Autonomous Transport Robots with an R-valued Temporal Logic (FL, HS), pp. 1093–1098.