fixed missing quotation marks

car_pedestrian_simulator.py

@@ -1,6 +1,7 @@
 import stormpy
 import stormpy.simulator
 
+
 newline = "\n"
 
 def printFrame(streetLength, lanes, carPos, pedPos):
@@ -38,7 +39,7 @@ def dtmc():
         input("")
 
 def mdp():
-    formula_str = "Pmax=? [ !crashed U ped_lane_pos=lanes ];"
+    formula_str = "Pmax=? [ !\"crashed\" U ped_lane_pos=lanes ];"
     prism_program = stormpy.parse_prism_program("/media/car_pedestrian_mdp.prism")
 
     formulas = stormpy.parse_properties_for_prism_program(formula_str, prism_program)