Travelled to:
1 × USA
Collaborated with:
S.Weißleder Felix Lorenz
Talks about:
transport (1) monitor (1) autonom (1) tempor (1) applic (1) robot (1) onlin (1) model (1) logic (1) evalu (1)
Person: Holger Schlingloff
DBLP: Schlingloff:Holger
Contributed to:
Wrote 2 papers:
- ICST-2014-WeisslederS #embedded #evaluation #modelling #testing
- An Evaluation of Model-Based Testing in Embedded Applications (SW, HS), pp. 223–232.
- CASE-2018-LorenzS #logic
- Online-Monitoring Autonomous Transport Robots with an R-valued Temporal Logic (FL, HS), pp. 1093–1098.