BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Tobias Winkler
SearchCollections
Map detail
Tobias Winkler7 visible / 7 total nodes / 6 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTobias WinklerATobias WinklerResearcherStochastic Games with Disjunctions of Multiple Objectives (Technical Report)WStochastic Games with D...preprint / 2021Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating FunctionsWDoes a Program Yield th...preprint / 2022Stochastic Games with Lexicographic Reachability-Safety ObjectivesWStochastic Games with L...preprint / 2020Weighted ProgrammingWWeighted Programmingpreprint / 2022Approximating Values of Generalized-Reachability Stochastic GamesWApproximating Values of...preprint / 2020Generating Functions for Probabilistic ProgramsWGenerating Functions fo...preprint / 2020
Person6 links

Tobias Winkler

Researcher

PaperStochastic Games with Disjunctions of Multiple Objectives (Technical Report)Authorship / preprint / 2021PaperDoes a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating FunctionsAuthorship / preprint / 2022PaperStochastic Games with Lexicographic Reachability-Safety ObjectivesAuthorship / preprint / 2020PaperWeighted ProgrammingAuthorship / preprint / 2022PaperApproximating Values of Generalized-Reachability Stochastic GamesAuthorship / preprint / 2020PaperGenerating Functions for Probabilistic ProgramsAuthorship / preprint / 2020

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)