"VISPEC: A graphical tool for elicitation of MTL requirements."

Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos (2015)

Details and statistics

DOI: 10.1109/IROS.2015.7353863

access: closed

type: Conference or Workshop Paper

metadata version: 2021-08-13

a service of  Schloss Dagstuhl - Leibniz Center for Informatics