diff --git a/prism/README.txt b/prism/README.txt index 97a01984..48adde2e 100644 --- a/prism/README.txt +++ b/prism/README.txt @@ -88,6 +88,7 @@ The core team working on PRISM currently comprises: Many others have contributed to PRISM. In approximately reverse chronological order: + * Christian von Essen: Contributions to explicit-state model checking library * Vincent Nimal: Approximate (simulation-based) model checking techniques * Vojtech Forejt: "Fox-Glynn" algorithm implementation * Mark Kattenbelt: Wide range of enhancements/additions, especially in the GUI diff --git a/prism/src/explicit/MDPSimple.java b/prism/src/explicit/MDPSimple.java index 24867e25..e1583477 100644 --- a/prism/src/explicit/MDPSimple.java +++ b/prism/src/explicit/MDPSimple.java @@ -3,6 +3,7 @@ // Copyright (c) 2002- // Authors: // * Dave Parker (University of Oxford) +// * Christian von Essen (Verimag, Grenoble) // //------------------------------------------------------------------------------ // diff --git a/prism/src/explicit/MDPSparse.java b/prism/src/explicit/MDPSparse.java index 7ee90ed0..e5db6af1 100644 --- a/prism/src/explicit/MDPSparse.java +++ b/prism/src/explicit/MDPSparse.java @@ -3,6 +3,7 @@ // Copyright (c) 2002- // Authors: // * Dave Parker (University of Oxford) +// * Christian von Essen (Verimag, Grenoble) // //------------------------------------------------------------------------------ //