dtControl2+ε: Trading Optimality for Explainability in MDPs via Decision Trees
Tereza Kinská, Jan Křetínský, Tobias Meggendorfer, Sabine Rieder et autres
0 citations
reposiTUm (TU Wien)
Maximilian Weininger
Informations fournies par OpenAlex. Research Africa ne déduit ni nationalité, ni poste, ni coordonnées personnelles.
82Publications signalées
648Citations signalées
4Affiliations récentes
Les institutions déclarées
Les domaines associés
Formal Methods in VerificationBayesian Modeling and Causal InferenceReinforcement Learning in RoboticsMachine Learning and AlgorithmsSoftware Reliability and Analysis Research
Les publications récentes
Property-Driven Causal Abstractions for Markov Decision Processes (FMCAD 2026 Artifact)
Jule Schmidt, Maximilian Weininger, Clemens Dubslaff, David Parker et autres
de, nl, gb (code pays fourni par la source)
0 citations
Zenodo (CERN European Organization for Nuclear Research)
Property-Driven Causal Abstractions for Markov Decision Processes (FMCAD 2026 Artifact)
Jule Schmidt, Maximilian Weininger, Clemens Dubslaff, David Parker et autres
de, nl, gb (code pays fourni par la source)
0 citations
Zenodo (CERN European Organization for Nuclear Research)
dtControl2+epsilon
Tereza Kinská, Jan Křetínský, Tobias Meggendorfer, Sabine Rieder et autres
cz, de, gb, at (code pays fourni par la source)
0 citations
Zenodo (CERN European Organization for Nuclear Research)
Property-driven Causal Abstractions for Markov Decision Processes
Jule Schmidt, Maximilian Weininger, Clemens Dubslaff, David Parker et autres
0 citations
arXiv (Cornell University)
Property-driven Causal Abstractions for Markov Decision Processes
Jule Schmidt, Maximilian Weininger, Clemens Dubslaff, David Parker et autres
de, nl, gb (code pays fourni par la source)
0 citations
arXiv (Cornell University)
dtControl2+$\varepsilon$: Trading Optimality for Explainability in MDPs via Decision Trees
Tereza Kinská, Jan Křetínský, Tobias Meggendorfer, Sabine Rieder et autres
0 citations
arXiv (Cornell University)
dtControl2+$\varepsilon$: Trading Optimality for Explainability in MDPs via Decision Trees
Tereza Kinská, Jan Křetínský, Tobias Meggendorfer, Sabine Rieder et autres
cz, de (code pays fourni par la source)
0 citations
arXiv (Cornell University)
Benchmark Data for The Revised Practitioner's Guide to MDP Model Checking Algorithms
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
nl, de, at (code pays fourni par la source)
0 citations
Zenodo (CERN European Organization for Nuclear Research)
Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes
Konstantin Kueffner, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
0 citations
arXiv (Cornell University)
Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes
Konstantin Kueffner, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
at, de (code pays fourni par la source)
0 citations
arXiv (Cornell University)
UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)
Roman Andriushchenko, Arnd Hartmanns, Joshua Jeppson, Sebastian Junges et autres
0 citations
arXiv (Cornell University)
BNTIC News n’est pas le producteur de ces données. Les publications sont interrogées à la demande dans Crossref, OpenAIRE, DOAJ, Europe PMC, HAL, DataCite, AfricArXiv, ROR et la Banque mondiale, sans clé d’accès. OpenAlex reste optionnel. Aucun service payant n’est nécessaire et aucune donnée externe n’est enregistrée en base. Consulter les sources et leurs limites.