Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Sean Sedwards
Map detail
Sean Sedwards11 visible / 11 total nodes / 10 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSean SedwardsASean SedwardsResearcherRecursive Constraints to Prevent Instability in Constrained Reinforcement LearningWRecursive Constraints t...preprint / 2022Prosperity is associated with instability in dynamical networksWProsperity is associate...preprint / 2011Scalable Verification of Markov Decision ProcessesWScalable Verification o...preprint / 2014Lightweight Monte Carlo Verification of Markov Decision Processes with RewardsWLightweight Monte Carlo...preprint / 2015Cross-entropy optimisation of importance sampling parameters for statistical model checkingWCross-entropy optimisat...preprint / 2012Distributed Verification of Rare Properties using Importance Splitting ObserversWDistributed Verificatio...preprint / 2015Smart Sampling for Lightweight Verification of Markov Decision ProcessesWSmart Sampling for Ligh...preprint / 2015Time-Staging Enhancement of Hybrid System FalsificationWTime-Staging Enhancemen...preprint / 2022Cooperation and competition in the dynamics of tissue architecture during homeostasis and tumorigenesisWCooperation and competi...preprint / 2013Statistical Model Checking for Stochastic Hybrid SystemsWStatistical Model Check...preprint / 2012
Person10 links

Sean Sedwards

Researcher