Relaxed Decidability and the Robust Semantics of Metric Temporal Logic.

Houssam Abbas Matthew O'Kelly Rahul Mangharam

Published in: HSCC (2017)

Keyphrases

metric temporal logic
formal semantics
logic programming
real time
optimal solution
partial occlusion
query answering
semantic information
description logics
artificial intelligence
learning algorithm
neural network
multiscale
information systems
computer vision
robust estimation
genetic algorithm