Time-series data classification is central to the analysis and control of autonomous systems,
such as robots and self-driving cars. Temporal logic-based learning algorithms have been …

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

Many complex cyber-physical systems can be modeled as heterogeneous components
interacting with each other in real-time. We assume that the correctness of each component …

For many automated perception and decision tasks, state-of-the-art performance may be
obtained by algorithms that are too complex for their behavior to be completely …

Online monitoring is essential to enhance the reliability for various systems including cyber-
physical systems and Web services. During online monitoring, the system traces are …

Temporal logic is a framework for representing and reasoning about propositions that evolve
over time. It is commonly used for specifying requirements in various domains, including …

Formal control of cyber-physical systems allows for synthesis of control strategies from rich
specifications. However, the classes of systems that the formal approaches can be applied …

Many autonomous systems, such as robots and self-driving cars, involve real-time decision
making in complex environments, and require prediction of future outcomes from limited …

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 …

Searching and retrieving relevant research materials from electronic databases are difficult
for many students and early career researchers. Many researchers have abandoned …