Bug in explicit engine LTL model checking (happens when there are multiple APs in the formula and ordering is different in the DRA). Reported by Manfred Jaeger.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9091 bbc10eb1-c90d-0410-af57-cb519fbb1720
Tweak debug print out of DRA - show APs too.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9092 bbc10eb1-c90d-0410-af57-cb519fbb1720
Bug fix in Dot export of DRA.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9093 bbc10eb1-c90d-0410-af57-cb519fbb1720
A jltl2ba bug fix from Joachim Klein - fixes various previously reported LTL->DRA crashes.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9109 bbc10eb1-c90d-0410-af57-cb519fbb1720
bugfix fau

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9122 bbc10eb1-c90d-0410-af57-cb519fbb1720
fixed computation of lost probability to take into account probability mass intentionally destroyed

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9138 bbc10eb1-c90d-0410-af57-cb519fbb1720
Compile fix (to allow build on Java 6).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9143 bbc10eb1-c90d-0410-af57-cb519fbb1720
Improve simulation Sampler classes to handle deadlocks (in some cases). Deadlocks still not properly handled by the simulator.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9147 bbc10eb1-c90d-0410-af57-cb519fbb1720
Another LTL-to-automaton bugfix from Joachim Klein (fix-bdfs.patch).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9151 bbc10eb1-c90d-0410-af57-cb519fbb1720
Another LTL-to-automaton bugfix from Joachim Klein (jltl2ba-fix-simplify-bstates--trivial-sccs.patch).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9152 bbc10eb1-c90d-0410-af57-cb519fbb1720
Next batch of LTL-related fixes from Joachim Klein (jltl2ba-fix-multiple-labels.patch, SimpleLTL-simplify-NEXT-AND-keep-order.patch, jltl2ba-fix-comments-for-release.patch, jltl2dstar-NBAAnalysis-dont-assume-NBA-is-disjoint.patch).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9153 bbc10eb1-c90d-0410-af57-cb519fbb1720
Bugfix: release (R) temporal operator not displayed correctly (from Joachim Klein).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9154 bbc10eb1-c90d-0410-af57-cb519fbb1720
Small jltl2dstar fix from Joachim Klein.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9155 bbc10eb1-c90d-0410-af57-cb519fbb1720
Added a getLabels() method to the explicit.Model hierarchty (from Joachim Klein).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9156 bbc10eb1-c90d-0410-af57-cb519fbb1720
Additional checks in explicit MDP model checker: don't allow policy iteration methods to be use when 'known' values are passed in (from Joachim Klein).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9157 bbc10eb1-c90d-0410-af57-cb519fbb1720
Some additional error checking in explicit.StateValues (from Joachim Klein).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9158 bbc10eb1-c90d-0410-af57-cb519fbb1720
Some additional error checking in explicit.StateValues (from Joachim Klein).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9160 bbc10eb1-c90d-0410-af57-cb519fbb1720
Bugfix: statistical model checking of discrete-time bounded untils with strict bounds (from Joachim Klein).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9163 bbc10eb1-c90d-0410-af57-cb519fbb1720
README update (contributors).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9165 bbc10eb1-c90d-0410-af57-cb519fbb1720
README update (contributors).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9166 bbc10eb1-c90d-0410-af57-cb519fbb1720