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.