Verifying Sampling Algorithms via Distributional Invariants
Daniel Zilken, Kevin Batz, Joost-Pieter Katoen, Tobias Winkler
de, gb (code pays fourni par la source)
1 citation
Lecture notes in computer science
Daniel Zilken
Informations fournies par OpenAlex. Research Africa ne déduit ni nationalité, ni poste, ni coordonnées personnelles.
3Publications signalées
8Citations signalées
1Affiliations récentes
Les institutions déclarées
Les domaines associés
Formal Methods in VerificationDistributed systems and fault tolerancePetri Nets in System ModelingAnomaly Detection Techniques and ApplicationsMachine Learning and Algorithms
Les publications récentes
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger et autres
de (code pays fourni par la source)
1 citation
arXiv (Cornell University)
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger et autres
at, de (code pays fourni par la source)
6 citations
Lecture notes in computer science
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.