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.

Jana Tumova
SearchCollections
Map detail
Jana Tumova13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJana TumovaAJana TumovaResearcherMinimum-violation LTL Planning with Conflicting SpecificationsWMinimum-violation LTL P...preprint / 2013A Receding Horizon Approach to Multi-Agent Planning from Local LTL SpecificationsWA Receding Horizon Appr...preprint / 2014Decomposition of Multi-Agent Planning under Distributed Motion and Task LTL SpecificationsWDecomposition of Multi-...preprint / 2016Multi-Agent Planning under Local LTL Specifications and Event-Based SynchronizationWMulti-Agent Planning un...preprint / 2016Synthesizing least-limiting guidelines for safety of semi-autonomous systemsWSynthesizing least-limi...preprint / 2016Point-Based Methods for Model Checking in Partially Observable Markov Decision ProcessesWPoint-Based Methods for...preprint / 2020Optimal Path Planning under Temporal Logic ConstraintsWOptimal Path Planning u...preprint / 2010Attraction-Based Receding Horizon Path Planning with Temporal Logic ConstraintsWAttraction-Based Recedi...preprint / 2012Cooperative Decentralized Multi-agent Control under Local LTL Tasks and Connectivity ConstraintsWCooperative Decentraliz...preprint / 2014Communication-Free Multi-Agent Control under Local Temporal Tasks and Relative-Distance ConstraintsWCommunication-Free Mult...preprint / 2014Cooperative Task Planning of Multi-Agent Systems Under Timed Temporal SpecificationsWCooperative Task Planni...preprint / 2015Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and ArchitecturesWProceedings of the 13th...preprint / 2016
Person12 links

Jana Tumova

Researcher

PaperMinimum-violation LTL Planning with Conflicting SpecificationsAuthorship / preprint / 2013PaperA Receding Horizon Approach to Multi-Agent Planning from Local LTL SpecificationsAuthorship / preprint / 2014PaperDecomposition of Multi-Agent Planning under Distributed Motion and Task LTL SpecificationsAuthorship / preprint / 2016PaperMulti-Agent Planning under Local LTL Specifications and Event-Based SynchronizationAuthorship / preprint / 2016PaperSynthesizing least-limiting guidelines for safety of semi-autonomous systemsAuthorship / preprint / 2016PaperPoint-Based Methods for Model Checking in Partially Observable Markov Decision ProcessesAuthorship / preprint / 2020PaperOptimal Path Planning under Temporal Logic ConstraintsAuthorship / preprint / 2010PaperAttraction-Based Receding Horizon Path Planning with Temporal Logic ConstraintsAuthorship / preprint / 2012

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)