Prophesy - Plot
Working...
Cancel
Plot
Filemanager
Configuration
Error occured:
Error value not set
(0.00, 0.00)
Input
Run Prism
Select result
Prism file:
No files uploaded
PCTL group:
No files uploaded
PCTL property:
No files uploaded
Run with:
No tools available
Run
Result file:
Load
Sampling
Manual Sampling
Auto Sampling
Add samples by mouse clicks
Check New
Clear current
Clear all
Number of iterations:
Generator type:
Uniform grid
Linear interpolation
Delaunay triangulation
Go
Constraints
Manual Constraints
Auto Constraints
Add constraints by mouse clicks
Check for safe
Check for bad
Check New
Clear current
Clear all
Constraint type:
Planes
Growing rectangles
Quadrants
Number of iterations:
Generate
Settings
Threshold:
Sampler:
No sampler available
SMT Solver:
No solver available
HeatMap:
Interval bounds:
≤
≤
≤
≤
Info
Rational Function
Not loaded