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.

Lakshmi Manasa
SearchCollections
Map detail
Lakshmi Manasa6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipLakshmi ManasaALakshmi ManasaResearcherInteger Reset Timed Automata: Clock Reduction and DeterminizabilityWInteger Reset Timed Aut...preprint / 2010On The Reachability Problem for Recursive Hybrid Automata with One and Two PlayersWOn The Reachability Pro...preprint / 2014Revisiting Robustness in Priced Timed GamesWRevisiting Robustness i...preprint / 2015Adding Negative Prices to Priced Timed GamesWAdding Negative Prices ...preprint / 2020Stochastic Timed Games RevisitedWStochastic Timed Games ...preprint / 2016
Person5 links

Lakshmi Manasa

Researcher

PaperInteger Reset Timed Automata: Clock Reduction and DeterminizabilityAuthorship / preprint / 2010PaperOn The Reachability Problem for Recursive Hybrid Automata with One and Two PlayersAuthorship / preprint / 2014PaperRevisiting Robustness in Priced Timed GamesAuthorship / preprint / 2015PaperAdding Negative Prices to Priced Timed GamesAuthorship / preprint / 2020PaperStochastic Timed Games RevisitedAuthorship / preprint / 2016

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)