GCSRL - A Logic for Stochastic Reward Models with Timed and Untimed Behaviour

Matthias Kuntz, Boudewijn R. Haverkort

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    34 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'GCSRL - A Logic for Stochastic Reward Models with Timed and Untimed Behaviour'. Together they form a unique fingerprint.

    Engineering & Materials Science