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.

Rajeev Alur
SearchCollections
Map detail
Rajeev Alur13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRajeev AlurARajeev AlurResearcherA Framework for Transforming Specifications in Reinforcement LearningWA Framework for Transfo...preprint / 2022Computer-Aided Personalized EducationWComputer-Aided Personal...preprint / 2020Regular Functions, Cost Register Automata, and Generalized Min-Cost ProblemsWRegular Functions, Cost...preprint / 2012Streaming Tree TransducersWStreaming Tree Transducerspreprint / 2012Safe Schedulability of Bounded-Rate Multi-Mode SystemsWSafe Schedulability of ...preprint / 2013Counter-Strategy Guided Refinement of GR(1) Temporal Logic SpecificationsWCounter-Strategy Guided...preprint / 2013Decision Problems for Additive Regular FunctionsWDecision Problems for A...preprint / 2013Regular Combinators for String TransformationsWRegular Combinators for...preprint / 2014Synthesizing Finite-state Protocols from Scenarios and RequirementsWSynthesizing Finite-sta...preprint / 2014Automatic Completion of Distributed Protocols with SymmetryWAutomatic Completion of...preprint / 2015Synthesis through UnificationWSynthesis through Unifi...preprint / 2015First-Order and Temporal Logics for Nested WordsWFirst-Order and Tempora...preprint / 2011
Person12 links

Rajeev Alur

Researcher

PaperA Framework for Transforming Specifications in Reinforcement LearningAuthorship / preprint / 2022PaperComputer-Aided Personalized EducationAuthorship / preprint / 2020PaperRegular Functions, Cost Register Automata, and Generalized Min-Cost ProblemsAuthorship / preprint / 2012PaperStreaming Tree TransducersAuthorship / preprint / 2012PaperSafe Schedulability of Bounded-Rate Multi-Mode SystemsAuthorship / preprint / 2013PaperCounter-Strategy Guided Refinement of GR(1) Temporal Logic SpecificationsAuthorship / preprint / 2013PaperDecision Problems for Additive Regular FunctionsAuthorship / preprint / 2013PaperRegular Combinators for String TransformationsAuthorship / 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)