*-based learning of Markov decision processes (extended version)

Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci 0001, Maria Eichlseder, Kim G. Larsen. *-based learning of Markov decision processes (extended version). Formal Asp. Comput., 33(4):575-615, 2021. [doi]

Authors

Martin Tappler

This author has not been identified. Look up 'Martin Tappler' in Google

Bernhard K. Aichernig

This author has not been identified. Look up 'Bernhard K. Aichernig' in Google

Giovanni Bacci 0001

This author has not been identified. Look up 'Giovanni Bacci 0001' in Google

Maria Eichlseder

This author has not been identified. Look up 'Maria Eichlseder' in Google

Kim G. Larsen

This author has not been identified. Look up 'Kim G. Larsen' in Google