Search results

Translate PTA model to MDP?

Status: Open.

#257 In prismmodelchecker/prism;

· rpgoldman opened on Feb 26, 2025

Undetected infinite multi-objective reward

Status: Open.

#253 In prismmodelchecker/prism;

· Chickenpowerrr opened on Oct 29, 2024

Problems building with Eclipse on MacOS with M1

Status: Open.

#252 In prismmodelchecker/prism;

· rpgoldman opened on Sep 26, 2024

[GUI] Not loading files in save/load windows when "unmappable characters" present in folder

Status: Open.

#243 In prismmodelchecker/prism;

· guero777 opened on May 10, 2024

[GUI] Loading large Property-files takes very long

Status: Open.

#230 In prismmodelchecker/prism;

· DX3253 opened on May 16, 2023

[Tracking] Build toolchain revamp

Status: Open.

#223 In prismmodelchecker/prism;

· spacefrogg opened on Mar 31, 2023

Nailgun mode fails for Java 19

Status: Open.

#221 In prismmodelchecker/prism;

· davexparker opened on Mar 28, 2023

Short-circuiting during model checking

Status: Open.

#211 In prismmodelchecker/prism;

· davexparker opened on Feb 17, 2023

Return exit code > 0 if an error occurs

Status: Open.

#210 In prismmodelchecker/prism;

· merkste opened on Feb 15, 2023

Add dedicated setting for steady-state computation method

Status: Open.

#209 In prismmodelchecker/prism;

· merkste opened on Feb 15, 2023

[GUI] Small values are rounded to zero when hovering a point in a graph

Status: Open.

#207 In prismmodelchecker/prism;

· merkste opened on Jan 12, 2023

[GUI] Constant definitions for verify action get lost after model reload

Status: Open.

#206 In prismmodelchecker/prism;

· merkste opened on Jan 12, 2023