Description

The Relational Dynamic Influence Diagram Language (RDDL)
https://users.cecs.anu.edu.au/~ssanner/IPPC_2011/RDDL.pdf
is a modelling language which is has found widespread use in the domain of stochastic planning. On the other hand, the modelling language JANI
https://link.springer.com/chapter/10.1007%2F978-3-662-54580-5_9
http://www-i2.informatik.rwth-aachen.de/pub/index.php?type=download&pub_id=1435
has started to become a standard exchange format for models in the area of stochastic model checking. Obviously, there are overlaps in these two areas. In particular, it would be useful to be able to make the many models which exist in the area of planning and which are modelled in RDDL available for the application of model checking methods. To do so, it would be useful to translate RDDL to JANI. However, doing so is a nontrivial tasks, because both languages are conceptually different. Therefore, while a transformation from the predecessor language of RDDL, PDDL
https://www.cs.toronto.edu/~sheila/2542/s14/A1/introtopddl2.pdf
to JANI exists, there is at present no such transformation from RDDL TO JANI.

The purpose of this project is to implement a translation from RDDL to JANI. Depending on the concrete objectives decided before starting the project and the progress achived, it could consist of:
- deciding which relevant subset of RDDL can be transformed to JANI, depending on which features are used by a large variety of existing models and which constructs are suitable for translation,
- implementation of the translation,
- proposing an extension to JANI in case this would be useful for the faithful translation of certain RDDL features which could presently not be translated to JANI or only be translated in a way which is undesirable,
- in case an extension of JANI is proposed, a discussion about how an efficient exploration of the state space of such extended JANI models could be implemented, possibly together with a proof-of-concept implementation,
- choice of test cases,
- evaluation of the approach in terms of resources required for the transformation and the quality of the resulting JANI files in terms of e.g. size and readibility.