Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA

Forschungsdaten: Software

Personen und Einrichtungen

Christel Baier - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
Calvin Chau - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
Sascha Klüppelholz - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)

Ansprechperson

Chau, Calvin
- calvin.chau@tu-dresden.de
- Professur für Algebraische und logische Grundlagen der Informatik - Wissenschaftliches Personal
Person

Verknüpfte Inhalte

Veröffentlichungen

Certificates and witnesses for multi-objective queries in Markov decision processes

Baier, C., Chau, C. & Klüppelholz, S., Juni 2025, in: Performance Evaluation. 168, 102482.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (1)