verse.analysis.dryvr_disc.get_reachtube_segment
verse.analysis.dryvr_disc.
get_reachtube_segment
(
training_traces
:
ndarray
,
initial_radii
:
ndarray
,
method
=
'PWGlobal'
)
→
array
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.analysis.analysis_tree
verse.analysis.dryvr
verse.analysis.dryvr_disc
verse.analysis.dryvr_disc.all_sensitivities_calc
verse.analysis.dryvr_disc.calcCenterPoint
verse.analysis.dryvr_disc.calcDelta
verse.analysis.dryvr_disc.calc_bloated_tube_dryvr
verse.analysis.dryvr_disc.get_reachtube_segment
get_reachtube_segment()
verse.analysis.dryvr_disc.randomPoint
verse.analysis.dryvr_disc.trimTraces
verse.analysis.incremental
verse.analysis.mixmonotone
verse.analysis.simulator
verse.analysis.verifier
verse.automaton
verse.map
verse.parser
verse.plotter
verse.scenario
verse.sensor
verse.utils
Related Topics
Documentation overview
verse
verse.analysis
verse.analysis.dryvr_disc
Previous:
verse.analysis.dryvr_disc.calc_bloated_tube_dryvr
Next:
verse.analysis.dryvr_disc.randomPoint
Quick search