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

Matthias Kuntz, Boudewijn R. Haverkort, L. Cloth

Research output: Other contribution

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