Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: A C E F H L M N O P R S T V

A
Auto-Tuning	Neural Network Precision Tuning Using Stochastic Arithmetic
C
Cyber-physical systems	MLTL Multi-Type: A Logic for Reasoning about Traces of Different Types
E
Embedded systems	MLTL Multi-Type: A Logic for Reasoning about Traces of Different Types
F
Floating-Point	Neural Network Precision Tuning Using Stochastic Arithmetic
formal methods	Motion planning with temporal logic constraints and preferences Recent advances for hybrid systems verification with HyPro Adversarial Testing and Repair for Neural Network based Control Systems using Optimization
H
hybrid systems	Recent advances for hybrid systems verification with HyPro Adversarial Testing and Repair for Neural Network based Control Systems using Optimization
L
Learning from Time-series Data	Combining learning-based methods and temporal logic specifications for designing controllers for unknown environments
M
MLTL	MLTL Multi-Type: A Logic for Reasoning about Traces of Different Types
N
Neural Networks	Neural Network Precision Tuning Using Stochastic Arithmetic
Numerical Analysis	Verified Numerical Methods for Ordinary Differential Equations
O
ordinary differential equations	Verified Numerical Methods for Ordinary Differential Equations
P
Precision	Neural Network Precision Tuning Using Stochastic Arithmetic
R
reachability	Recent advances for hybrid systems verification with HyPro
reinforcement learning	Motion planning with temporal logic constraints and preferences
Robots	Motion planning with temporal logic constraints and preferences
Runtime Monitoring	Combining learning-based methods and temporal logic specifications for designing controllers for unknown environments
Runtime verification	MLTL Multi-Type: A Logic for Reasoning about Traces of Different Types
S
Safe Autonomy	Adversarial Testing and Repair for Neural Network based Control Systems using Optimization
Safe Intelligent Control	Combining learning-based methods and temporal logic specifications for designing controllers for unknown environments
Satisfiability	MLTL Multi-Type: A Logic for Reasoning about Traces of Different Types
Stochastic Arithmetic	Neural Network Precision Tuning Using Stochastic Arithmetic
T
Temporal Logic	MLTL Multi-Type: A Logic for Reasoning about Traces of Different Types
Time-granularity	MLTL Multi-Type: A Logic for Reasoning about Traces of Different Types
V
Verified Numerics	Verified Numerical Methods for Ordinary Differential Equations