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.

Hazem Torfah
SearchCollections
Map detail
Hazem Torfah7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipHazem TorfahAHazem TorfahResearcherThe Complexity of Counting Models of Linear-time Temporal LogicWThe Complexity of Count...preprint / 2014SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating SystemWSOTER on ROS: A Run-Tim...preprint / 2020Explainable Reactive SynthesisWExplainable Reactive Sy...preprint / 2020Canonical Representations of k-Safety HyperpropertiesWCanonical Representatio...preprint / 2020Approximate Automata for Omega-Regular LanguagesWApproximate Automata fo...preprint / 2020Synthesizing Approximate Implementations for Unrealizable SpecificationsWSynthesizing Approximat...preprint / 2020
Person6 links

Hazem Torfah

Researcher

PaperThe Complexity of Counting Models of Linear-time Temporal LogicAuthorship / preprint / 2014PaperSOTER on ROS: A Run-Time Assurance Framework on the Robot Operating SystemAuthorship / preprint / 2020PaperExplainable Reactive SynthesisAuthorship / preprint / 2020PaperCanonical Representations of k-Safety HyperpropertiesAuthorship / preprint / 2020PaperApproximate Automata for Omega-Regular LanguagesAuthorship / preprint / 2020PaperSynthesizing Approximate Implementations for Unrealizable SpecificationsAuthorship / 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)