small tweak on the examples

demo/tacas2023/exp4/noisy_sensor.py

@@ -7,8 +7,8 @@ class NoisyVehicleSensor(BaseSensor):
         self.noise_x = noise_x
         self.noise_y = noise_y
 
-    def sense(self, scenario, agent, state_dict, track_map):
-        cont, disc, len_dict = super().sense(scenario, agent, state_dict, track_map)
+    def sense(self, agent, state_dict, track_map):
+        cont, disc, len_dict = super().sense(agent, state_dict, track_map)
         tmp = np.array(list(state_dict.values())[0][0])
         if tmp.ndim<2:
             return cont, disc, len_dict

verse/analysis/verifier.py

@@ -433,6 +433,9 @@ class Verifier:
         past_runs,
         params = {},
     ):
+        if (max_height == None):
+            max_height = float('inf')
+        
         root = AnalysisTreeNode(
             trace={},
             init={},

verse/map/example_map/map_tacas.py

@@ -254,9 +254,21 @@ class M5(LaneMap_3d):
         }
 
     def h(self, lane_idx: str, agent_mode_src: str, agent_mode_dest: str) -> str:
+        if not isinstance(lane_idx,str):
+            lane_idx = lane_idx.name
+        if not isinstance(agent_mode_src,str):
+            agent_mode_src = agent_mode_src.name
+        if not isinstance(agent_mode_dest,str):
+            agent_mode_dest = agent_mode_dest.name
         return self.h_dict[(lane_idx, agent_mode_src, agent_mode_dest)]
 
     def h_exist(self, lane_idx: str, agent_mode_src: str, agent_mode_dest: str) -> bool:
+        if not isinstance(lane_idx,str):
+            lane_idx = lane_idx.name
+        if not isinstance(agent_mode_src,str):
+            agent_mode_src = agent_mode_src.name
+        if not isinstance(agent_mode_dest,str):
+            agent_mode_dest = agent_mode_dest.name
         if (lane_idx, agent_mode_src, agent_mode_dest) in self.h_dict:
             return True
         else: