Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: SceneChecker: Boosting Scenario Verification using Symmetry Abstractions   We presentSceneChecker, a tool for verifying scenarios involving vehicles
executing complex plans in large cluttered workspaces. SceneChecker converts
the scenario verification problem to a standard hybrid system verification
problem, and solves it effectively by exploiting structural properties in the
plan and the vehicle dynamics. SceneChecker uses symmetry abstractions, a novel
refinement algorithm, and importantly, is built to boost the performance of any
existing reachability analysis tool as a plug-in subroutine. We evaluated
SceneChecker on several scenarios involving ground and aerial vehicles with
nonlinear dynamics and neural network controllers, employing different kinds of
symmetries, using different reachability subroutines, and following plans with
hundreds of way-points in complex workspaces. Compared to two leading tools,
DryVR and Flow*, SceneChecker shows 20x speedup in verification time, even
while using those very tools as reachability subroutines.

24
The categories of this paper are: dg-ga
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
7
The categories of this paper are: hep-th
5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
0
The categories of this paper are: hep-ph
12
The categories of this paper are: nucl-th
27
The categories of this paper are: comp-gas
10
The categories of this paper are: q-bio
33
The categories of this paper are: plasm-ph
28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
32
The categories of this paper are: atom-ph
3
The categories of this paper are: physics
9
The categories of this paper are: nlin