Towards a Formal Safety Framework for Trajectories.

Marco A. Feliú Mariano M. Moscato

Published in: NFM (2018)

Keyphrases

main contribution
lightweight
meta level
computer vision
website
probabilistic model
software engineering