ARCH18: Keyword Index

Keyword	Papers
a
AABB Trees	Space Debris Collision Detection using Reachability
affine arithmetic	Implementation of Taylor models in CORA 2018
airplane	Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers
autonomous vehicles	Lane change maneuver for autonomous vehicles (Benchmark Proposal)
b
benchmark	Linear Differential-Algebraic Equations (Benchmark Proposal) Discrete-Space Analysis of Partial Differential Equations Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal) Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers
Building Automation Systems	Benchmarks for stochastic models from building automation systems
c
CEGAR	Space Debris Collision Detection using Reachability
collision detection	Space Debris Collision Detection using Reachability
control design	Lane change maneuver for autonomous vehicles (Benchmark Proposal)
control synthesis	Benchmarks for stochastic models from building automation systems
CORA	Implementation of Taylor models in CORA 2018
counter-example generation	Numerical Verification of 10000-dimensional Linear Systems 10000x Faster
d
differential-algebraic equations	Linear Differential-Algebraic Equations (Benchmark Proposal)
f
F-16	Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers
finite difference method	Discrete-Space Analysis of Partial Differential Equations
Flow*	Implementation of Taylor models in CORA 2018
h
hybrid automaton	Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers
Hylaa	Numerical Verification of 10000-dimensional Linear Systems 10000x Faster
i
interval arithmetic	Implementation of Taylor models in CORA 2018
INTLAB	Implementation of Taylor models in CORA 2018
l
lane change	Lane change maneuver for autonomous vehicles (Benchmark Proposal)
linear systems	Numerical Verification of 10000-dimensional Linear Systems 10000x Faster
n
neural networks	Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal)
nonlinear	Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers
o
ODEs	Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers
orbital dynamics	Space Debris Collision Detection using Reachability
p
partial differential equations	Discrete-Space Analysis of Partial Differential Equations
probabilistic reachability analysis	Benchmarks for stochastic models from building automation systems
probabilistic safety	Benchmarks for stochastic models from building automation systems
r
reachability	Space Debris Collision Detection using Reachability
reachability analysis	Numerical Verification of 10000-dimensional Linear Systems 10000x Faster Linear Differential-Algebraic Equations (Benchmark Proposal) Discrete-Space Analysis of Partial Differential Equations Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal)
Recurrent Neural Networks	Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal)
rigorous function bounds	Implementation of Taylor models in CORA 2018
RNNs	Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal)
s
simulation	Lane change maneuver for autonomous vehicles (Benchmark Proposal) Benchmarks for stochastic models from building automation systems
Specifications	Lane change maneuver for autonomous vehicles (Benchmark Proposal)
stochastic hybrid systems	Benchmarks for stochastic models from building automation systems
stochastic models	Benchmarks for stochastic models from building automation systems
t
Taylor models	Implementation of Taylor models in CORA 2018
Thermal modelling	Benchmarks for stochastic models from building automation systems
v
verification	Numerical Verification of 10000-dimensional Linear Systems 10000x Faster Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers