L*-Based Learning of Markov Decision Processes (Extended Version)

Martin Tappler, Bernhard Aichernig*, Giovanni Bacci, Maria Eichlseder, Kim Guldstrand Larsen

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Search results