verse.utils.star_diams.reach_star
verse.utils.star_diams.
reach_star
(
traces
,
t_l
:
float
=
0
,
t_u
:
float
=
None
)
→
Dict
[
str
,
List
[
StarSet
]
]
verse
Navigation
Contents:
Installation
A First Look at Verse
Troubleshooting Verse
Agent
Map
Sensor
Scenario
Parser
Analysis
Reachtubes
Visualization
Contributors
Verse Publications
verse
verse.agents
verse.analysis
verse.automaton
verse.map
verse.parser
verse.plotter
verse.scenario
verse.sensor
verse.stars
verse.utils
verse.utils.fixed_points
verse.utils.star_diams
verse.utils.star_diams.manhattan
verse.utils.star_diams.over_approx_rectangle
verse.utils.star_diams.reach_star
reach_star()
verse.utils.star_diams.sim_traces_to_diameters
verse.utils.star_diams.sim_traces_to_dict_composed
verse.utils.star_diams.time_step_diameter
verse.utils.star_diams.time_step_diameter_rect
verse.utils.star_manhattan
verse.utils.utils
Related Topics
Documentation overview
verse
verse.utils
verse.utils.star_diams
Previous:
verse.utils.star_diams.over_approx_rectangle
Next:
verse.utils.star_diams.sim_traces_to_diameters