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.

Rayna Dimitrova
SearchCollections
Map detail
Rayna Dimitrova9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRayna DimitrovaARayna DimitrovaResearcherApproximate Automata for Omega-Regular LanguagesWApproximate Automata fo...preprint / 2020Synthesizing Approximate Implementations for Unrealizable SpecificationsWSynthesizing Approximat...preprint / 2020Lossy Channel Games under Incomplete InformationWLossy Channel Games und...preprint / 2013Reachability Analysis of Reversal-bounded Automata on Series-Parallel GraphsWReachability Analysis o...preprint / 2015Abstractions and sensor design in partial-information, reactive controller synthesisWAbstractions and sensor...preprint / 2014Approximate Counting in SMT and Value Estimation for Probabilistic ProgramsWApproximate Counting in...preprint / 2015Proceedings Fifth Workshop on SynthesisWProceedings Fifth Works...preprint / 2016Near-Optimal Reactive Synthesis Incorporating Runtime InformationWNear-Optimal Reactive S...preprint / 2020
Person8 links

Rayna Dimitrova

Researcher

PaperApproximate Automata for Omega-Regular LanguagesAuthorship / preprint / 2020PaperSynthesizing Approximate Implementations for Unrealizable SpecificationsAuthorship / preprint / 2020PaperLossy Channel Games under Incomplete InformationAuthorship / preprint / 2013PaperReachability Analysis of Reversal-bounded Automata on Series-Parallel GraphsAuthorship / preprint / 2015PaperAbstractions and sensor design in partial-information, reactive controller synthesisAuthorship / preprint / 2014PaperApproximate Counting in SMT and Value Estimation for Probabilistic ProgramsAuthorship / preprint / 2015PaperProceedings Fifth Workshop on SynthesisAuthorship / preprint / 2016PaperNear-Optimal Reactive Synthesis Incorporating Runtime InformationAuthorship / 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)