Sean Sedwards - Concepedia

Author

Sean Sedwards

Centre Inria de l'Université de Rennes ORCID

Also Known As

Arcaini, Paolo, Sean Sedwards, Sedwards, S., Sedwards, Sean

Publications

1.1K

Citations

H-Index

Concepts

All Affiliations

Centre Inria de l'Université de Rennes Institut national de recherche en sciences et technologies du numérique University of Trento University of Waterloo Universidad Nacional de Córdoba

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	12	361
2	Medicine	3	3	104
3	Business	2	2	80
4	Health Sciences	1	1	14
5	Management	1	1	12

Sean Sedwards

Publications

478

Citations

H-Index

Page 1

	Year	Citations
Navigation assistance and guidance of older adults across complex public spaces: the DALi approach Luigi Palopoli, Antonis Argyros, Josef Birchbauer, Intelligent Service Robotics EngineeringIndependent LivingGeriatricsDali ApproachDesign	2015	70
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search Zhenya Zhang, Gidon Ernst, Sean Sedwards, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Artificial IntelligenceEngineeringMachine LearningModel TuningVerification	2018	66
Prosperity is associated with instability in dynamical networks Matteo Cavaliere, Sean Sedwards, Corina E. Tarnita, Journal of Theoretical Biology Dynamical NetworksEconomicsNetwork TheoryNetwork ScienceEconomics Of Network	2011	56
Smart sampling for lightweight verification of Markov decision processes Pedro R. D’Argenio, Axel Legay, Sean Sedwards, International Journal on Software Tools for Technology Transfer EngineeringAutomated ReasoningProbabilistic VerificationVerificationFormal Methods	2015	55
An efficient statistical model checker for nondeterminism and rare events Carlos E. Budde, Pedro R. D’Argenio, Arnd Hartmanns, International Journal on Software Tools for Technology Transfer EngineeringVerificationRare Event EstimationComputer-aided VerificationSoftware Engineering	2020	39
Efficient customisable dynamic motion planning for assistive robots in complex human environments Alessio Colombo, Daniele Fontanelli, Axel Legay, Journal of Ambient Intelligence and Smart Environments	2015	28
Motion planning in crowds using statistical model checking to enhance the social force model Alessio Colombo, Daniele Fontanelli, Axel Legay, Crowd SimulationEngineeringIntelligent RoboticsIntelligent SystemsComputational Social Science	2013	24
Falsification of Hybrid Systems Using Adaptive Probabilistic Search Gidon Ernst, Sean Sedwards, Zhenya Zhang, ACM Transactions on Modeling and Computer Simulation Artificial IntelligenceEngineeringMachine LearningModel TuningVerification	2021	23
Cooperation and competition in the dynamics of tissue architecture during homeostasis and tumorigenesis Attila Csikász‐Nagy, Luis M. Escudero, Martial Guillaud, Seminars in Cancer Biology Pattern FormationTissue ArchitectureDevelopmental BiologyCell DivisionBiological Microenvironments	2013	21
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, EPiC series in computing EngineeringTemporal Logic SpecificationsVerificationSoftware EngineeringFriendly Competition	2018	18

Page 1