Concepedia

Sean Sedwards

SS

16

Publications

478

Citations

13

H-Index

2008

Active since

Affiliations

Centre Inria de l'Université de Rennes(Current)

Institut national de recherche en sciences et technologies du numérique

University of Trento

University of Waterloo

Universidad Nacional de Córdoba

Sean Sedwards is an author at Centre Inria de l'Université de Rennes specializing in engineering, computer science, and verification.

ORCID

Top concepts

Publications per year

2008–2021

16

Publications

16

Navigation assistance and guidance of older adults across complex public spaces: the DALi approach

Luigi Palopoli, Antonis Argyros, Josef Birchbauer et al. · Intelligent Service Robotics · 2015 · 70 citations · Full text

, , +9

Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search

Zhenya Zhang, Gidon Ernst, Sean Sedwards et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2018 · 66 citations

, , +24

Prosperity is associated with instability in dynamical networks

Matteo Cavaliere, Sean Sedwards, Corina E. Tarnita et al. · Journal of Theoretical Biology · 2011 · 56 citations · Full text

, , +6

Smart sampling for lightweight verification of Markov decision processes

Pedro R. D’Argenio, Axel Legay, Sean Sedwards et al. · International Journal on Software Tools for Technology Transfer · 2015 · 55 citations · Full text

, , +7

An efficient statistical model checker for nondeterminism and rare events

Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns et al. · International Journal on Software Tools for Technology Transfer · 2020 · 39 citations · Full text

, , +21

Rows per page

1–5 of 16