kein Bild

M.Sc. Tobias Meggendorfer

Veröffentlichungen (DBLP)

2020

Of Cores: A Partial-Exploration Framework for Markov Decision Processes.

Jan Kretínský, Tobias Meggendorfer:
Of Cores: A Partial-Exploration Framework for Markov Decision Processes. Log. Methods Comput. Sci. 16(4) (2020)
mehr

2020

An Anytime Algorithm for Reachability on Uncountable MDP.

Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger:
An Anytime Algorithm for Reachability on Uncountable MDP. CoRR abs/2008.04824 (2020)
mehr

2019

Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.

Jan Kretínský, Alexander Manta, Tobias Meggendorfer:
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. ATVA 2019: 404-422
mehr

2019

Satisfiability Bounds for `9;-Regular Properties in Bounded-Parameter Markov Decision Processes.

Maximilian Weininger, Tobias Meggendorfer, Jan Kretínský:
Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes. CDC 2019: 2284-2291
mehr

2019

Of Cores: A Partial-Exploration Framework for Markov Decision Processes.

Jan Kretínský, Tobias Meggendorfer:
Of Cores: A Partial-Exploration Framework for Markov Decision Processes. CONCUR 2019: 5:1-5:17
mehr

2019

Of Cores: A Partial-Exploration Framework for Markov Decision Processes.

Jan Kretínský, Tobias Meggendorfer:
Of Cores: A Partial-Exploration Framework for Markov Decision Processes. CoRR abs/1906.06931 (2019)
mehr

2019

Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.

Jan Kretínský, Alexander Manta, Tobias Meggendorfer:
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. CoRR abs/1907.12157 (2019)
mehr

2018

Owl: A Library for `9;-Words, Automata, and LTL.

Jan Kretínský, Tobias Meggendorfer, Salomon Sickert:
Owl: A Library for ω-Words, Automata, and LTL. ATVA 2018: 543-550
mehr

2018

Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.

Jan Kretínský, Tobias Meggendorfer, Salomon Sickert, Christopher Ziegler:
Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. CAV (1) 2018: 567-577
mehr

2018

Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes.

Jan Kretínský, Tobias Meggendorfer:
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. LICS 2018: 609-618
mehr

2018

Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes.

Jan Kretínský, Tobias Meggendorfer:
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. CoRR abs/1805.02946 (2018)
mehr

2018

LTL Store: Repository of LTL formulae from literature and case studies.

Jan Kretínský, Tobias Meggendorfer, Salomon Sickert:
LTL Store: Repository of LTL formulae from literature and case studies. CoRR abs/1807.03296 (2018)
mehr

2017

Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes.

Jan Kretínský, Tobias Meggendorfer:
Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes. ATVA 2017: 380-399
mehr

2017

Value Iteration for Long-Run Average Reward in Markov Decision Processes.

Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer:
Value Iteration for Long-Run Average Reward in Markov Decision Processes. CAV (1) 2017: 201-221
mehr

2017

Index Appearance Record for Transforming Rabin Automata into Parity Automata.

Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger:
Index Appearance Record for Transforming Rabin Automata into Parity Automata. TACAS (1) 2017: 443-460
mehr

2017

Index appearance record for transforming Rabin automata into parity automata.

Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger:
Index appearance record for transforming Rabin automata into parity automata. CoRR abs/1701.05738 (2017)
mehr

2017

Value Iteration for Long-run Average Reward in Markov Decision Processes.

Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer:
Value Iteration for Long-run Average Reward in Markov Decision Processes. CoRR abs/1705.02326 (2017)
mehr

2017

Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes.

Jan Kretínský, Tobias Meggendorfer:
Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes. CoRR abs/1707.01859 (2017)
mehr