verse.stars.starset.sim_star
verse.stars.starset.
sim_star
(
init_star
:
StarSet
,
sim
:
Callable
,
T
:
int
=
7
,
ts
:
float
=
0.05
,
N
:
int
=
100
)
→
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.stars.starset
verse.stars.starset.check_unsat
verse.stars.starset.containment_poly
verse.stars.starset.gen_starset
verse.stars.starset.gen_starsets_post_sim
verse.stars.starset.gen_starsets_post_sim_vis
verse.stars.starset.gen_starsets_post_sim_vis_nonit
verse.stars.starset.gen_starsets_post_sim_vis_nonit_nd
verse.stars.starset.new_pred
verse.stars.starset.plot_stars_points
verse.stars.starset.plot_stars_points_nonit
verse.stars.starset.plot_stars_points_nonit_nd
verse.stars.starset.post_cont_pca
verse.stars.starset.sample_star
verse.stars.starset.sim_star
sim_star()
verse.stars.starset.sim_star_vis
verse.stars.starset.HalfSpace
verse.stars.starset.StarSet
verse.utils
Related Topics
Documentation overview
verse
verse.stars
verse.stars.starset
Previous:
verse.stars.starset.sample_star
Next:
verse.stars.starset.sim_star_vis