FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Abraham, Erika	Recent advances for hybrid systems verification with HyPro
Appel, Andrew	Verified Numerical Methods for Ordinary Differential Equations
F
Fainekos, Georgios	Adversarial Testing and Repair for Neural Network based Control Systems using Optimization
Ferro, Quentin	Neural Network Precision Tuning Using Stochastic Arithmetic
G
Graillat, Stef	Neural Network Precision Tuning Using Stochastic Arithmetic
H
Hariharan, Gokul	MLTL Multi-Type: A Logic for Reasoning about Traces of Different Types
Hilaire, Thibault	Neural Network Precision Tuning Using Stochastic Arithmetic
J
Jones, Phillip H.	MLTL Multi-Type: A Logic for Reasoning about Traces of Different Types
Jézéquel, Fabienne	Neural Network Precision Tuning Using Stochastic Arithmetic
K
Kellison, Ariel	Verified Numerical Methods for Ordinary Differential Equations
Kempa, Brian	MLTL Multi-Type: A Logic for Reasoning about Traces of Different Types
L
Lewandwoski, Basile	Neural Network Precision Tuning Using Stochastic Arithmetic
R
Rozier, Kristin Y.	MLTL Multi-Type: A Logic for Reasoning about Traces of Different Types
T
Tumova, Jana	Motion planning with temporal logic constraints and preferences
V
V. Deshmukh, Jyotirmoy	Combining learning-based methods and temporal logic specifications for designing controllers for unknown environments
W
Wongpiromsarn, Tichakorn	MLTL Multi-Type: A Logic for Reasoning about Traces of Different Types

Disclaimer | Powered by EasyChair Smart Program