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.

Nir Piterman
SearchCollections
Map detail
Nir Piterman10 visible / 10 total nodes / 9 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipNir PitermanANir PitermanResearcherA Survey on Satisfiability Checking for the $μ$-Calculus through Tree AutomataWA Survey on Satisfiabil...preprint / 2022Obligation Blackwell Games and p-AutomataWObligation Blackwell Ga...preprint / 2013Correct-by-Construction Design of Contextual Robotic Missions Using ContractsWCorrect-by-Construction...preprint / 2023R-CHECK: A Model Checker for Verifying Reconfigurable MASWR-CHECK: A Model Checke...preprint / 2022Actions over Core-closed Knowledge BasesWActions over Core-close...preprint / 2022Reconfigurable Interaction for MAS ModellingWReconfigurable Interact...preprint / 2020The Rabin index of parity gamesWThe Rabin index of pari...preprint / 2013Fatal Attractors in Parity Games: Building Blocks for Partial SolversWFatal Attractors in Par...preprint / 2014T2: Temporal Property VerificationWT2: Temporal Property V...preprint / 2016
Person9 links

Nir Piterman

Researcher

PaperA Survey on Satisfiability Checking for the μμ-Calculus through Tree AutomataAuthorship / preprint / 2022PaperObligation Blackwell Games and p-AutomataAuthorship / preprint / 2013PaperCorrect-by-Construction Design of Contextual Robotic Missions Using ContractsAuthorship / preprint / 2023PaperR-CHECK: A Model Checker for Verifying Reconfigurable MASAuthorship / preprint / 2022PaperActions over Core-closed Knowledge BasesAuthorship / preprint / 2022PaperReconfigurable Interaction for MAS ModellingAuthorship / preprint / 2020PaperThe Rabin index of parity gamesAuthorship / preprint / 2013PaperFatal Attractors in Parity Games: Building Blocks for Partial SolversAuthorship / preprint / 2014

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)