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.

Marta Kwiatkowska
SearchCollections
Map detail
Marta Kwiatkowska13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMarta KwiatkowskaAMarta KwiatkowskaResearcherCorrelated Equilibria and Fairness in Concurrent Stochastic GamesWCorrelated Equilibria a...preprint / 2022Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and ChallengesWProbabilistic Model Che...preprint / 2022Automatic Verification of Concurrent Stochastic SystemsWAutomatic Verification ...preprint / 2020Multi-player Equilibria Verification for Concurrent Stochastic GamesWMulti-player Equilibria...preprint / 2020Strategic Analysis of Trust Models for User-Centric NetworksWStrategic Analysis of T...preprint / 2013The King is Naked: on the Notion of Robustness for Natural Language ProcessingWThe King is Naked: on t...preprint / 2022Robustness Guarantees for Deep Neural Networks on VideosWRobustness Guarantees f...preprint / 2020Revisiting Timed Specification Theories: A Linear-Time PerspectiveWRevisiting Timed Specif...preprint / 2012Revisiting Timed Specification Theory II : RealisabilityWRevisiting Timed Specif...preprint / 2013Pareto Curves for Probabilistic Model CheckingWPareto Curves for Proba...preprint / 2012Multi-Objective Model Checking of Markov Decision ProcessesWMulti-Objective Model C...preprint / 2008Expected Reachability-Time GamesWExpected Reachability-T...preprint / 2016
Person12 links

Marta Kwiatkowska

Researcher

PaperCorrelated Equilibria and Fairness in Concurrent Stochastic GamesAuthorship / preprint / 2022PaperProbabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and ChallengesAuthorship / preprint / 2022PaperAutomatic Verification of Concurrent Stochastic SystemsAuthorship / preprint / 2020PaperMulti-player Equilibria Verification for Concurrent Stochastic GamesAuthorship / preprint / 2020PaperStrategic Analysis of Trust Models for User-Centric NetworksAuthorship / preprint / 2013PaperThe King is Naked: on the Notion of Robustness for Natural Language ProcessingAuthorship / preprint / 2022PaperRobustness Guarantees for Deep Neural Networks on VideosAuthorship / preprint / 2020PaperRevisiting Timed Specification Theories: A Linear-Time PerspectiveAuthorship / preprint / 2012

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)