Sean Sedwards

According to our database1, Sean Sedwards authored at least 60 papers between 2006 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
An efficient statistical model checker for nondeterminism and rare events.
Int. J. Softw. Tools Technol. Transf., 2020

Accelerating the Training of Convolutional Neural Networks for Image Segmentation with Deep Active Learning.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Improved Policy Extraction via Online Q-Value Distillation.
Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML.
Proceedings of the Workshop on Artificial Intelligence Safety, 2020

Simple Continual Learning Strategies for Safer Classifers.
Proceedings of the Workshop on Artificial Intelligence Safety, 2020

2019
Design Space of Behaviour Planning for Autonomous Driving.
CoRR, 2019

WiseMove: A Framework for Safe Deep Reinforcement Learning for Autonomous Driving.
CoRR, 2019

Accelerated Learning of Predictive Runtime Monitors for Rare Failure.
Proceedings of the Runtime Verification - 19th International Conference, 2019

WiseMove: A Framework to Investigate Safe Deep Reinforcement Learning for Autonomous Driving.
Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input.
Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs.
Proceedings of the Automated Technology for Verification and Analysis, 2019

2018
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Group abstraction for assisted navigation of social activities in intelligent environments.
J. Reliab. Intell. Environ., 2018

Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search.
CoRR, 2018

A Statistical Model Checker for Nondeterminism and Rare Events.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Lightweight Statistical Model Checking in Nondeterministic Continuous Time.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

A Hierarchy of Scheduler Classes for Stochastic Automata.
Proceedings of the Foundations of Software Science and Computation Structures, 2018

Time-Staging Enhancement of Hybrid System Falsification.
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version).
CoRR, 2017

Efficient simulation-based verification of probabilistic timed automata.
Proceedings of the 2017 Winter Simulation Conference, 2017

Memory-Efficient Tactics for Randomized LTL Model Checking.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults.
Proceedings of the Human Aspects of Information Security, Privacy and Trust, 2017

Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

2016
Command-based importance sampling for statistical model checking.
Theor. Comput. Sci., 2016

Importance Sampling for Stochastic Timed Automata.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Rare Events for Statistical Model Checking an Overview.
Proceedings of the Reachability Problems - 10th International Workshop, 2016

Plasma Lab: A Modular Statistical Model Checking Platform.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015
Statistical model checking for biological systems.
Int. J. Softw. Tools Technol. Transf., 2015

Smart sampling for lightweight verification of Markov decision processes.
Int. J. Softw. Tools Technol. Transf., 2015

Efficient customisable dynamic motion planning for assistive robots in complex human environments.
J. Ambient Intell. Smart Environ., 2015

Navigation assistance and guidance of older adults across complex public spaces: the DALi approach.
Intell. Serv. Robotics, 2015

Estimating Rewards & Rare Events in Nondeterministic Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

Distributed Verification of Rare Properties using Importance Splitting Observers.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers.
CoRR, 2015

2014
Lightweight Verification of Markov Decision Processes with Rewards.
CoRR, 2014

On Statistical Model Checking with PLASMA.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Scalable Verification of Markov Decision Processes.
Proceedings of the Software Engineering and Formal Methods, 2014

Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013
Lightweight Monte Carlo Algorithm for Markov Decision Processes.
CoRR, 2013

PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Behavioural templates improve robot motion planning with social force model in human environments.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Motion planning in crowds using statistical model checking to enhance the social force model.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Importance Splitting for Statistical Model Checking Rare Properties.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Statistical Model Checking for Stochastic Hybrid Systems
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

A Platform for High Performance Statistical Model Checking - PLASMA.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Runtime Verification of Biological Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
Communicating oscillatory networks: frequency domain analysis.
BMC Syst. Biol., 2011

2009
Analyzing various models of Circadian Clock and Cell Cycle coupling.
Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009

2008
Decision problems in membrane systems with peripheral proteins, transport and evolution.
Theor. Comput. Sci., 2008

A multiset-based model of synchronizing agents: Computability and robustness.
Theor. Comput. Sci., 2008

A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents.
Int. J. Found. Comput. Sci., 2008

2007
Membrane Systems with Peripheral Proteins: Transport and Evolution.
Electron. Notes Theor. Comput. Sci., 2007

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

2006
Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2006


  Loading...