"Online-Monitoring Autonomous Transport Robots with an R-valued Temporal Logic."

Felix Lorenz, Holger Schlingloff (2018)

Details and statistics

DOI: 10.1109/COASE.2018.8560421

access: closed

type: Conference or Workshop Paper

metadata version: 2022-10-02