Sean Sedwards

发表

Prosperity is associated with instability in dynamical networks.

M. Nowak, A. Csikász-Nagy, M. Cavaliere, 2011, Journal of theoretical biology.

Leveraging Applications of Formal Methods, Verification, and Validation

Sean Sedwards, Markus Frohme, Boris Dudder, 2010, Lecture Notes in Computer Science.

Proceedings of the 15 th International Workshop on Automated Verification of Critical Systems ( AVoCS 2015 ) Estimating Rewards & Rare Events in Nondeterministic Systems

Axel Legay, Sean Sedwards, Louis-Marie Traonouez, 2015 .

Statistical model checking for biological systems

Kim G. Larsen, Marius Mikucionis, Axel Legay, 2015, International Journal on Software Tools for Technology Transfer.

Symposium on Dependable Software Engineering

Marius Mikucionis, Axel Legay, Sean Sedwards, 2016 .

Falsification of Hybrid Systems Using Adaptive Probabilistic Search

Gidon Ernst, Sean Sedwards, Ichiro Hasuo, 2021, ACM Trans. Model. Comput. Simul..

Estimating Rewards & Rare Events in Nondeterministic Systems

Axel Legay, Sean Sedwards, Louis-Marie Traonouez, 2015, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Analyzing various models of Circadian C lock and Cell Cycle coupling (Extended Abstract)

Paola Lecca, Ferenc Jordán, Paolo Ballarini, 2009 .

A Hierarchical Pedestrian Behavior Model to Generate Realistic Human Behavior in Traffic Simulation

K. Czarnecki, Sean Sedwards, Rodrigo Queiroz, 2022, 2022 IEEE Intelligent Vehicles Symposium (IV).

A Logical Characterization of Robustness, Mutants and Species in Colonies of Synchronizing Agents

R. Mardare, M. Cavaliere, Sean Sedwards, 2008 .

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs

Kim G. Larsen, Axel Legay, Sean Sedwards, 2019, ATVA.

Communicating oscillatory networks: frequency domain analysis

Sean Sedwards, Adaoha E. C. Ihekwaba, Sean Sedwards, 2011, BMC Systems Biology.

Command-based importance sampling for statistical model checking

Cyrille Jégourel, Axel Legay, Sean Sedwards, 2016, Theor. Comput. Sci..

Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers pdf

Cyrille Jégourel, Axel Legay, Sean Sedwards, 2015, ArXiv.

Combining Game Theory and Graph Theory to Model Interactions between Cells in the Tumor Microenvironment

Sean Sedwards, Matteo Cavaliere, Attila Csikász-Nagy, 2012 .

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata

Axel Legay, Sean Sedwards, Pedro R. D'Argenio, 2016, IFM.

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

Antonis A. Argyros, Axel Legay, Sean Sedwards, 2015, Intell. Serv. Robotics.

Statistical Model Checking for Stochastic Hybrid Systems

Kim G. Larsen, Marius Mikucionis, Axel Legay, 2012, HSB.

Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking pdf

Cyrille Jégourel, Axel Legay, Sean Sedwards, 2012, CAV.

PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library

Axel Legay, Sean Sedwards, Kevin Corre, 2013, QEST.

Runtime Verification of Biological Systems

Kim G. Larsen, Marius Mikucionis, Axel Legay, 2012, ISoLA.

Cyto-Sim: a formal language model and stochastic simulator of membrane-enclosed biochemical processes

Sean Sedwards, Tommaso Mazza, Sean Sedwards, 2007, Bioinform..

Efficient customisable dynamic motion planning for assistive robots in complex human environments

Axel Legay, Sean Sedwards, Luigi Palopoli, 2015, J. Ambient Intell. Smart Environ..

Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input

Gidon Ernst, Zhenya Zhang, Sean Sedwards, 2018, QEST.

Memory-Efficient Tactics for Randomized LTL Model Checking

Kim G. Larsen, Sean Sedwards, Doron A. Peled, 2017, VSTTE.

A Platform for High Performance Statistical Model Checking - PLASMA

Cyrille Jégourel, Axel Legay, Sean Sedwards, 2012, TACAS.

Design Space of Behaviour Planning for Autonomous Driving pdf

Sean Sedwards, Krzysztof Czarnecki, Jaeyoung Lee, 2019, ArXiv.

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

Gidon Ernst, Paolo Arcaini, Zhenya Zhang, 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Scalable Verification of Markov Decision Processes

Axel Legay, Sean Sedwards, Louis-Marie Traonouez, 2013, SEFM Workshops.

A Statistical Model Checker for Nondeterminism and Rare Events

Sean Sedwards, Pedro R. D'Argenio, Carlos E. Budde, 2018, TACAS.

Plasma Lab: A Modular Statistical Model Checking Platform

Axel Legay, Sean Sedwards, Louis-Marie Traonouez, 2016, ISoLA.

Cooperation and competition in the dynamics of tissue architecture during homeostasis and tumorigenesis.

Sean Sedwards, Martial Guillaud, Matteo Cavaliere, 2013, Seminars in cancer biology.

Group abstraction for assisted navigation of social activities in intelligent environments

Axel Legay, Sean Sedwards, Olivier Zendra, 2018, Journal of Reliable Intelligent Environments.

An efficient statistical model checker for nondeterminism and rare events

Carlos E. Budde, Arnd Hartmanns, Pedro R. D’Argenio, 2020, International Journal on Software Tools for Technology Transfer.

Lightweight Monte Carlo Algorithm for Markov Decision Processes pdf

Axel Legay, Sean Sedwards, Axel Legay, 2013, ArXiv.

Smart sampling for lightweight verification of Markov decision processes

Axel Legay, P. D’Argenio, Sean Sedwards, 2014, International Journal on Software Tools for Technology Transfer.

Lightweight Statistical Model Checking in Nondeterministic Continuous Time

Sean Sedwards, Pedro R. D'Argenio, Arnd Hartmanns, 2018, ISoLA.

Efficient simulation-based verification of probabilistic timed automata

Sean Sedwards, Pedro R. D'Argenio, Arnd Hartmanns, 2017, 2017 Winter Simulation Conference (WSC).

A Hierarchy of Scheduler Classes for Stochastic Automata

Sean Sedwards, Pedro R. D'Argenio, Arnd Hartmanns, 2017, FoSSaCS.

Estimating Rewards & Rare Events in Nondeterministic Systems

Axel Legay, Sean Sedwards, Louis-Marie Traonouez, 2015, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Simple Continual Learning Strategies for Safer Classifers

Sean Sedwards, Krzysztof Czarnecki, Jaeyoung Lee, 2020, SafeAI@AAAI.

Importance Splitting for Statistical Model Checking Rare Properties

Cyrille Jégourel, Axel Legay, Sean Sedwards, 2013, CAV.

PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML

Rick Salay, Sean Sedwards, Krzysztof Czarnecki, 2020, SafeAI@AAAI.

WiseMove: A Framework for Safe Deep Reinforcement Learning for Autonomous Driving pdf

Sean Sedwards, Krzysztof Czarnecki, Jaeyoung Lee, 2019, QEST.

Lightweight Monte Carlo Verification of Markov Decision Processes with Rewards

Axel Legay, Sean Sedwards, Louis-Marie Traonouez, 2014 .

Lightweight Verification of Markov Decision Processes with Rewards pdf

Axel Legay, Sean Sedwards, Louis-Marie Traonouez, 2014, ArXiv.

Analyzing various models of Circadian Clock and Cell Cycle coupling

Paola Lecca, Paolo Ballarini, Heike Siebert, 2009, Formal Methods in Molecular Biology.

Decision problems in membrane systems with peripheral proteins, transport and evolution

Sean Sedwards, Matteo Cavaliere, 2008, Theor. Comput. Sci..

Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting

Sean Sedwards, Matteo Cavaliere, M. Cavaliere, 2006, Simulation and Verification of Dynamic Systems.

Non-divergent Imitation for Verification of Complex Learned Controllers

Sean Sedwards, Krzysztof Czarnecki, Vahdat Abdelzad, 2021, 2021 International Joint Conference on Neural Networks (IJCNN).

Transfer Reinforcement Learning for Autonomous Driving

Sean Sedwards, Krzysztof Czarnecki, Ashish Gaurav, 2021, ACM Trans. Model. Comput. Simul..

An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking

Cyrille Jégourel, Axel Legay, Sean Sedwards, 2014, ISoLA.

Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems

Axel Legay, Sean Sedwards, Axel Legay, 2014, ISoLA.

Group abstraction for assisted navigation of social activities in intelligent environments

Axel Legay, Sean Sedwards, Olivier Zendra, 2018, Journal of Reliable Intelligent Environments.

Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults

Axel Legay, Sean Sedwards, Thomas Given-Wilson, 2017, HCI.

Rare Events for Statistical Model Checking an Overview

Axel Legay, Sean Sedwards, Louis-Marie Traonouez, 2016, RP.

On Statistical Model Checking with PLASMA

Axel Legay, Sean Sedwards, Axel Legay, 2014, 2014 Theoretical Aspects of Software Engineering Conference.

Communicating oscillatory networks: frequency domain analysis

Sean Sedwards, Adaoha Elizabeth Ihekwaba, 2011, BMC Systems Biology.

Non-divergent Imitation for Verification of Complex Learned Controllers

Jaeyoung Lee, K. Czarnecki, Sean Sedwards, 2021, IEEE International Joint Conference on Neural Network.

Improved Policy Extraction via Online Q-Value Distillation

Sean Sedwards, Krzysztof Czarnecki, Vahdat Abdelzad, 2020, 2020 International Joint Conference on Neural Networks (IJCNN).

Smart sampling for lightweight verification of Markov decision processes

Axel Legay, Sean Sedwards, Louis-Marie Traonouez, 2014, International Journal on Software Tools for Technology Transfer.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Tiziana Margaria, Bernhard Steffen, T. Margaria, 2014, Lecture Notes in Computer Science.