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.

Arnd Hartmanns
SearchCollections
Map detail
Arnd Hartmanns6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipArnd HartmannsAArnd HartmannsResearcherAn Overview of Modest Models and Tools for Real Stochastic Timed SystemsWAn Overview of Modest M...preprint / 2022Backwards Reachability for Probabilistic Timed Automata: A Replication ReportWBackwards Reachability ...preprint / 2022Explicit Model Checking of Very Large MDP using Partitioning and Secondary StorageWExplicit Model Checking...preprint / 2016Symblicit Exploration and Elimination for Probabilistic Model CheckingWSymblicit Exploration a...preprint / 2020Efficient Algorithms for Time- and Cost-Bounded Probabilistic Model CheckingWEfficient Algorithms fo...preprint / 2016
Person5 links

Arnd Hartmanns

Researcher

PaperAn Overview of Modest Models and Tools for Real Stochastic Timed SystemsAuthorship / preprint / 2022PaperBackwards Reachability for Probabilistic Timed Automata: A Replication ReportAuthorship / preprint / 2022PaperExplicit Model Checking of Very Large MDP using Partitioning and Secondary StorageAuthorship / preprint / 2016PaperSymblicit Exploration and Elimination for Probabilistic Model CheckingAuthorship / preprint / 2020PaperEfficient Algorithms for Time- and Cost-Bounded Probabilistic Model CheckingAuthorship / preprint / 2016

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)