Sean Sedwards

Research Assistant Professor

Interests

  • Scalable verification and accelerated learning
    • active deep learning for perception in autonomous driving
    • statistical verification of stochastic and nondeterminsitic systems
    • safe reinforcement learning and formal verification of machine-learned systems
    • verification and optimisation of hybrid and timed systems
    • accelerated simulation for rare event verification
    • accelerated learning for prediction of rare events
  • Behaviour modelling, planning and prediction
  • Evolution of cooperation in structured populations

Prior affiliations

  • 2017 - November  Project Researcher at the Japanese National Institute of Informatics (NII)
  • 2011 - 2017  Expert Engineer at the French National Institute of Research in Informatics and Automation (Inria)
  • 2005 - 2011  Research Collaborator at the Microsoft Research - University of Trento Centre for Computational and Systems Biology

Recent publications

  • Budde, C., D'Argenio, P., Hartmanns, A., Sedwards, S. An Efficient Statistical Model Checker for Nondeterminism and Rare Events. International Journal on Software Tools For Technology Transfer (STTT), 2020.

  • Salay, R., Czarnecki, K., Alvarez, I., Elli, M. S., Sedwards, S., Weast, J. PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML. AAAI Workshop on Artificial Intelligence Safety (SafeAI 2020).

  • Gaurav, A., Abdelzad, V., Vernekar, S., Czarnecki, K., Lee, J., Sedwards, S. Simple Continual Learning Strategies for Safer Classifiers. AAAI Workshop on Artificial Intelligence Safety (SafeAI 2020).

  • Jaeger, M., Jensen, P., Larsen, K., Legay, A., Sedwards, S., Taankvist, J. Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), Spriner LNCS.

  • Babaee, R., Ganesh, V., Sedwards, S. Accelerated Learning of Predictive Runtime Monitors for Rare Failure. 19th International Conference on Runtime Verification (RV 2019), Springer LNCS.
  • Jaeger, M., Jensen, P., Larsen, K., Legay, A., Sedwards, S., Taankvist, J. Teaching Stratego to Play Ball: Optimizing Continuous Space MDPs. International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), Spriner LNCS.
  • Ernst, G., Sedwards, S., Zhang, Z., Hasuo, I. Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input. 16th International Conference on Quantitative Evaluation of Systems (QEST 2019), Springer LNCS.
  • Lee, J., Balakrishnan, A., Gaurav, A., Czarnecki, K., Sedwards, S. WiseMove: A Framework to Investigate Safe Reinforcement Learning for Autonomous Driving. 16th International Conference on Quantitative Evaluation of Systems (QEST 2019), Springer LNCS.