34 Infos zu Tobias Meggendorfer

1 Aktuelle Nachrichten

2 Profile in Sozialen Netzwerken

Postdoc at IST Austria. incaseoftrouble has 12 repositories available. Follow their code on GitHub.

Semantic Scholar profile for Tobias Meggendorfer, with 14 highly influential citations and 20 scientific research papers.

1 Hobbys & Interessen

Events by Tobias Meggendorfer. Events - KONY COVER THE NIGHT - BAYERN.

1 Persönliche Webseiten

Post-Doc at ISTA with Krishnendu Chatterjee. Researching verification of finite state probabilistic systems.

2 Prominente, Sportler & Politiker

megge. Tobias Meggendorfer Add friend · Contributed 1 · In Collection 1 · Images 1. Joined on March 3, Releases. Releases Rated 1; Rating Average ...

Tobias Meggendorfer Adicionar amigo · Contribuído 1 · Na Coleção 1 · Imagens – 1 de 1. Atualizar. Artista - Título (Selo, Catálogo nº), Adicionado · Formato ...

1 Projekte

Tobias Meggendorfer. User Activity. Modified a comment on ticket #1715 on KeePass. Hi, sorry for necroing this issue, but I was about to open a similar request.

3 Bücher zum Namen

The two-book set LNCS + constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis...

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in...

The two-volume set LNCS and LNCS constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV...

5 Wissenschaftliche Publikationen

List of computer science publications by Tobias Meggendorfer

· Tobias Meggendorfer, Technical University of Munich; Philipp Meyer, Technical University of Munich; Jakub Michaliszyn, University of Wroclaw; Sebastian Muskalla, TU Braunschweig; Vincent Michielini, University of Warsaw; Sebastian Muskalla, TU Braunschweig; Daniel Neider, Max Planck Institute for Software Systems; Elisabeth Neumann, TU Braunschweig

List of computer science publications by Krishnendu Chatterjee

List of computer science publications by Jan Kretínsky

2 Allgemeine Veröffentlichungen

We present Rabinizer 4, a tool set for translating formulae of linear temporal logic to different types of deterministic [equation]-automata. The tool set...

This continuously extended technical report collects and compares commonly used formulae from the literature and provides them in ...

1 Meinungen & Artikel

... Tobias Meggendorfer (TU München, DE) [dblp] · Daniel Neider (MPI-SWS – Kaiserslautern, DE) [dblp] · Guillermo A. Pérez (Free University of ...

16 Webfunde aus dem Netz

‪Post Doc, IST Austria‬ - ‪‪Cited by 187‬‬ - ‪Probabilistic Model Checking‬ - ‪Automata Theory‬ - ‪Game Theory‬ - ‪Logic in Computer Science‬ - ‪Formal Methods‬

Detailled statistics for. Tobias Meggendorfer ... Rosetta@home, Tobias Meggendorfer89,114, 0, Germany · · QMC@home, Megge11,

Welcome to the Homepage of Jan Křetínský Since October I am a tenure-track assistant professor at the Chair for Foundations of ... Tobias Meggendorfer ...

Regression tests for the prism-smc-mdp-mp project, adhering to PRISMs separation of testing and implementation projects.

Markov decision processes (MDPs) are standard models for probabilistic systems with non-deterministic behaviours. Long-run average rewards provide a ...

... for Long-run Average Reward in Markov Decision ProcessesPranav AshokKrishnendu ChatterjeePrzemyslaw DacaJan KřetínskýTobias Meggendorfer

Transforming deterministic $\omega$-automata into deterministic parity automata is traditionally done using variants of appearance records. We present a more...

Transforming deterministic $$\omega $$ -automata into deterministic parity automata is traditionally done using variants of appearance records. We

CONCUR Amsterdam

Index appearance record for transforming Rabin automata into parity automata · Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger.

Conference Program

Displays a full TOR node list no more than one hour old. Includes detailed information in script-readable format

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

Pranav Ashok,; Krishnendu Chatterjee,; Przemyslaw Daca,; Jan Křetínský,; Tobias Meggendorfer. Markov decision processes (MDPs) are ...

Your description goes here

Included dependency-finding scripts by Tobias Meggendorfer More default methods. - Fixed lack of proper forEach()/fastForEach() method for entry sets ...