Search results

Structure scripts better

Status: Open.

#14 In soarlab/paf;

· zvonimir opened on Apr 28, 2021

Negation does not introduce rounding!!!!!

Status: Open.

#13 In soarlab/paf;

· rospoly opened on Mar 26, 2021

Remove numeric Affine Arithmetic

Status: Open.

#12 In soarlab/paf;

· rospoly opened on Mar 26, 2021

from_DSI_to_PBox

Status: Open.

#11 In soarlab/paf;

· rospoly opened on Mar 23, 2021

We CANNOT use FPTaylor to get the Symbolic Error Form

Status: Open.

#10 In soarlab/paf;

· rospoly opened on Mar 9, 2021

Truncate distributions

Status: Open.

#8 In soarlab/paf;

· rospoly opened on Mar 5, 2021

Branch "pbox" is a dead end (it never gets merged to "CAV2021" or any other main branch)

Status: Open.

#6 In soarlab/paf;

· rospoly opened on Feb 26, 2021

we need to fix what we describe in section 3.5

Status: Open.

#5 In soarlab/paf;

· rospoly opened on Feb 25, 2021

Fix the division for symbolic affine arithmetic

Status: Open.

#4 In soarlab/paf;

· rospoly opened on Feb 25, 2021

Do not use Z3 decimal for the LP routines (perform the division using intervals)

Status: Open.

#3 In soarlab/paf;

· rospoly opened on Feb 5, 2021

Explore lower precision formats

Status: Open.

#2 In soarlab/paf;

· rospoly opened on Feb 5, 2021

Re-run all the experiments with double precision

Status: Open.

#1 In soarlab/paf;

· rospoly opened on Feb 1, 2021