Home » Authors » Tereza, Kinská, Jan, Křetínský, Tobias, Meggendorfer, Sabine, Rieder, Maximilian, Weininger

Tereza, Kinská, Jan, Křetínský, Tobias, Meggendorfer, Sabine, Rieder, Maximilian, Weininger

Public reference bibliography and cataloged PDF materials authored or published by Tereza, Kinská, Jan, Křetínský, Tobias, Meggendorfer, Sabine, Rieder, Maximilian, Weininger.

Found 1 document(s) Page 1 of 1

Chapter dtControl 2+ε: Trading Optimality for Explainability in MDPs via Decision Trees

Year: 2026 • Source: www.oapen.org • External Catalog

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researcher...