Time-Incremental Learning from Data Using Temporal Logics

Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile +1

Real-time and human-interpretable decision-making in cyber-physical systems is a significant but challenging task, which usually requires predictions of possible future events from…