Skip to content
FORMAL SYSTEM ANALYSIS

FORMAL SYSTEM ANALYSIS
RESEARCH GROUP

  • Home
  • Research
  • Education
  • Student projects
  • People
  • News

Paper accepted at NASA formal methods

Posted on April 28, 2023April 28, 2023 by Clemens Dubslaff

The paper “Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access” by C. Dubslaff from FSA and a collaboration with TU Dresden (P. Wienhöft, C. Baier, and S. J. Kiebel) has been accepted for NFM’23.

Posted in Research
Post navigation
New book: ‘Spelen met oneindigheid’ →
← Two papers accepted at IJCAI 2023

Agenda

June 2023
MTWTFSS
    1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30   
« May   Jul »

SUBSCRIBE TO CALENDAR

Calendar Feed

Events by Category

  • FSA Colloquium
  • MSc Defences
  • PhD Defence

Colloquium

Schedule
Theme by Out the Box