Qingzhao Zhang

About available first-order logic semantics.

1

Does Sally support exists and forall operators? I tried a simple example but it throws parser error at the location of "exists". ``` (define-state-type my_state ((x Real) (y Real)) )...

I am trying to use the pre-trained model you provided https://drive.google.com/drive/folders/1OY1MOhmL56yUoVfXmLp1zZqIneN46dPd?usp=sharing and I leverage the evaluation script from PointNet++ https://github.com/charlesq34/pointnet2/blob/master/evaluate.py. I used the default settings (no normals). However, the following...

As two LiDARs on two vehicles are not synchronized, I supposed the exact timestamps of the LiDAR images are important for understanding the real-world execution of collaborative perception algorithms. I...