Publications HOME PAGE

Published

2024

• Huang, C., Abdelzad, V., Sedwards, S., Czarnecki, C. VADet: Multi-frame LiDAR 3D Object Detection using Variable Aggregation. Winter Conference on Applications of Computer Vision (WACV 2025), IEEE.
• Tang, Mei Qi, Abdelzad, V., Huang, C., Sedwards, S., Czarnecki, C. 3D Object Detection with Track-Based Auto-Labelling Using Very Sparsely Labelled Data. Conference on Intelligent Transportation Systems (ITSC 2024), IEEE.

2023

• Huang, C., Abdelzad, V., Czarnecki, K., Sedwards, S. SOAP: Cross-sensor Domain Adaptation for 3D Object Detection Using Stationary Object Aggregation Pseudo-labelling. Winter Conference on Applications of Computer Vision (WACV 2024), IEEE. PDF
• Lee, J., Sedwards, S., Czarnecki, K. Uniformly Constrained Reinforcement Learning. Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), Springer. PDF

2022

• Bouchard, F., Sedwards, S., Czarnecki, K. A Rule-Based Behaviour Planner for Autonomous Driving. 6th International Joint Conference on Rules and Reasoning (RuleML + RR 2022), Springer LNCS. PDF
• Larter, S., Queiroz, R., Sedwards, S., Sarkar, A., Czarnecki, K. A Hierarchical Pedestrian Behaviour Model to Generate Realistic Human Behaviour in Traffic Simulation. 33rd Intelligent Vehicles Symposium (IV 2022), IEEE. PDF

2021

• Lee, J., Sedwards, S., Czarnecki, K. Recursive Constraints to Prevent Instability in Constrained Reinforcement Learning. Proc. of the Multi-Objective Decision Making Workshop (MODeM 2021). PDF
• Abdelzad, V., Lee, J., Sedwards, S., Soltani, S., Czarnecki, K. Non-divergent Imitation for Verification of Complex Learned Controllers. International Joint Conference on Neural Networks (IJCNN 2021), IEEE. PDF
• Balakrishnan, A., Lee, J., Gaurav, A., Czarnecki, K., Sedwards, S. Transfer Reinforcement Learning for Autonomous Driving: From WiseMove to WiseSim. ACM Transactions on Modeling and Computer Simulation (TOMACS), Vol 31:3, ACM. PDF
• Ernst, G., Sedwards, S., Zhang, Z., Hasuo, I. Falsification of Hybrid Systems using Adaptive Probabilistic Search. ACM Transactions on Modeling and Computer Simulation (TOMACS), Vol 31:3, ACM. PDF
• Lee, J., Sedwards, S., Czarnecki, K. Recursive Constraints to Prevent Instability in Constrained Reinforcement Learning. Proc. of the 1st Multi-Objective Decision Making Workshop (MODeM 2021). PDF

2020

• Chen, W., Salay, R., Sedwards, S., Abdelzad, V., Czarnecki, K. Accelerating the Training of Convolutional Neural Networks for Image Segmentation with Deep Active Learning. 23rd Int. Conf. on Intelligent Transportation Systems (ITSC 2020), IEEE. PDF
• Jhunjhunwala, A., Lee, J., Sedwards, S., Abdelzad, V., Czarnecki, K. Improved Policy Extraction via Online Q-Value Distillation. The 2020 International Joint Conference on Neural Networks (IJCNN 2020), IEEE. PDF
• 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. PDF
• Salay, R., Czarnecki, K., Alvarez, I., Elli, M. S., Sedwards, S., Weast, J. PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safetywith ML. Proc. of the AAAI Workshop on Artificial Intelligence Safety (SafeAI 2020), CEUR. PDF
• Gaurav, A., Abdelzad, V., Vernekar, S., Czarnecki, K., Lee, J., Sedwards, S. Simple Continual Learning Strategies for Safer Classifiers. Proc. of the AAAI Workshop on Artificial Intelligence Safety (SafeAI 2020), CEUR. PDF

2019

• 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, Vol 11781, pp 81–97. PDF
• 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, Vol 11757, pp 111–128. PDF
• 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, Vol 11785, pp 165–181.PDF
• 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, Vol. 11785, pp 350–354. PDF

2018

• D’Argenio, P., Hartmanns, A., Sedwards, S. Lightweight Statistical Model Checking in Nondeterministic Continuous Time. 9th International Symposium on Leveraging Applications (ISoLA 2018), Springer LNCS, Vol 11245, pp 336–353. PDF
• Dokhanchi, Yaghoubi, Hoxha, Fainekos, Ernst, Zhang, Arcaini, Hasuo, Sedwards. ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, EasyChair, EPiC Series in Computing, Vol 54, pp 104–109. PDF
• Kido, K., Sedwards, S., Hasuo, I. Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems. 6th Conference on Analysis and Design of Hybrid Systems (ADHS 2018), Elsevier IFAC, Vol 51:16, pp 247–252. PDF
• Zhang, Z., Ernst, G., Hasuo, I., Sedwards, S. Time-Staging Enhancement of Hybrid System Falsification, IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS 2018), IEEE, pp 3–4. PDF
• Zhang, Z., Ernst, G., Sedwards, S., Arcaini, P., Hasuo, I. Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. ACM International Conference on Embedded Software (EMSOFT 2018). IEEE TCAD, pp 2894–2905. PDF
• Sedwards, S., Given-Wilson, T., Legay, A., Zendra, O. Group abstraction for assisted navigation of social activities in intelligent environments. Springer Journal of Reliable Intelligent Environments. PDF
• Budde, C., D'Argenio, P., Hartmanns, A., Sedwards, S. A Statistical Model Checker for Nondeterminism and Rare Events, 24th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), Springer LNCS, Vol 10806, pp 340–358. PDF
• D'Argenio, P., Gerhold, M., Hartmanns, A., Sedwards, S. A Hierarchy of Scheduler Classes for Stochastic Automata. 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018), Springer LNCS, Vol 10803, pp 384–402. PDF

2017

• Kido, K., Sedwards, S., Hasuo, I. Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems. 7th Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2017), Springer LNCS, Vol 11267, pp 109–126. PDF
• Hartmanns, A., Sedwards, S., D'Argenio, P. Efficient Simulation-based Verification of Probabilistic Timed Automata, Winter Simulation Conference (WSC 2017), IEEE, pp 1419–1430. PDF
• Given-Wilson, T., Sedwards, S., Legay, A. Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults, 5th International Conference on Human Aspects of Information Security, Privacy and Trust (HAS 2017), Springer LNCS, Vol 10292, pp 90–109. PDF
• Sedwards, S., Larsen, K., Peled, D. Memory-Efficient Tactics for Randomized LTL Model Checking, 9th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2017), Springer LNCS, Vol 10712, pp 152-169. PDF

2016

• Sedwards, S., Jegourel, C., Legay, A. Command-based Importance Sampling for Statistical Model Checking, Theoretical Computer Science, Elsevier, Vol 649, pp 1–24. PDF
• Jegourel, C., Larsen, K., Legay, L., Mikučionis, M., Poulsen, D., Sedwards, S. Importance Sampling for Stochastic Timed Automata, Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA 2016), Springer LNCS, Vol 9984, pp 163–178. PDF
• Sedwards, S., Legay, A., Traonouez, L-M. Plasma Lab: A Modular Statistical Model Checking Platform, 7th International Symposium on Leveraging Applications (ISoLA 2016), Springer LNCS, Vol 9952, pp 77–93. PDF
• Sedwards, S., Legay, A., Traonouez, L-M. Rare Events for Statistical Model Checking: An Overview, 10th International Workshop on Reachability Problems (RP 2016), Springer LNCS, Vol 9899, pp 23–35. PDF
• Sedwards, S., D'Argenio, P., Hartmanns, A., Legay, A. Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata, 12th Int. Conf. on Integrated Formal Methods (iFM 2016), Springer LNCS, Vol 9681, pp 99–114. PDF

2015

• Colombo, A., Fontanelli, D., Legay, A., Palopoli, L., Sedwards, S. Efficient Customisable Dynamic Motion Planning for Assistive Robots in Complex Human Environments. Journal of Ambient Intelligence and Smart Environments, IOS Press, Vol 7:5, pp 617–634. PREPRINT PDF
• Sedwards, S., D'Argenio, P., Legay, A., Traonouez, L-M. Smart Sampling for Lightweight Verification of Markov Decision Processes. International Journal on Software Tools For Technology Transfer, Springer, Vol 17:4, pp 469–484. PREPRINT PDF
• Navigation Assistance and Guidance of Older Adults across Complex Public Spaces: the DALi Approach. 2015. Springer Journal of Intelligent Service Robotics. Vol 8:2, pp 77–92. PDF
• Sedwards, S., Legay, A., Traonouez, L-M. Estimating Rewards & Rare Events in Nondeterminstic Systems. 15th International Workshop on Automated Verification of Critical Systems (AVoCS '15), Electronic Communications of the EASST. PREPRINT PDF
• Sedwards, S., Jegourel, C., Legay, A., Traonouez, L-M. Distributed Verification of Rare Properties using Importance Splitting Observers. 15th International Workshop on Automated Verification of Critical Systems (AVoCS '15), Electronic Communications of the EASST. PREPRINT PDF

2014

• Sedwards, S., Cavaliere, M., Mazza, T. Statistical Model Checking of Membrane Systems with Peripheral Proteins: Quantifying the Role of Estrogen in Cellular Mitosis and DNA Damage. Chapter in Applications of Membrane Computing in Systems and Synthetic Biology. Frisco, P., Gheorghe, M., Pérez-Jiménez, M. J. (Eds.) Springer. PDF
• Sedwards, S., Legay, A., Traonouez, L-M. Scalable Verification of Markov Decision Processes, 4th Workshop on Formal Methods in the Development of Software (FMDS 2014), Springer LNCS, Vol 8938, pp 350–362. PREPRINT PDF
• Sedwards, S., Legay, A. Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems, 6th International Symposium on Leveraging Applications (ISoLA 2014), Springer LNCS, 8802, pp 4–25. PDF
• Jegourel, C., Sedwards, S., Legay, A. An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking, 6th International Symposium on Leveraging Applications (ISoLA 2014), Springer LNCS, Vol 8803, pp 143–159. PDF
• Sedwards, S., Legay, A. On Statistical Model Checking with PLASMA, 8th International Symposium on Theoretical Aspects of Software Engineering (TASE 2014), IEEE Computer Society Press, pp 139–145. PDF

2013

• Csikász-Nagy, A., Escudero, L. M., Guillaud, M., Sedwards, S., Baum, B., & Cavaliere, M. Cooperation and competition in the dynamics of tissue architecture during homeostasis and tumorigenesis. Seminars in Cancer Biology, Vol 23:4, pp 293–298. PREPRINT PDF
• Sedwards, S., Colombo, A., Fontanelli, D., Legay, A., Palopoli, L. Motion Planning in Crowds using Statistical Model Checking to Enhance the Social Force Model, 53rd Conference on Decision and Control (CDC 2013), IEEE, pp 3602–3608 . PREPRINT PDF
• Colombo, A., Fontanelli, D., Gandhi, D. De Angeli, A., Sedwards, S., Legay, A., Palopoli, L. Behavioural Templates Improve Robot Motion Planning with Social Force Model in Human Environments. 18th Conference on Emerging Technologies & Factory Automation (ETFA 2013), IEEE, pp 1–6. PREPRINT PDF
• Sedwards, S., Boyer, B., Corre, K., Legay, A. PLASMA-lab : a flexible, distributable statistical model checking library, Quantitative Evaluation of Systems (QEST 2013), Springer LNCS, pp 160–164. PREPRINT PDF
• Sedwards, S., Jegourel, C., Legay, A. Importance Splitting for Statistical Model Checking Rare Properties, Computer Aided Verification (CAV 2013), Springer LNCS, pp 576–591. PREPRINT PDF

2012

• Csikász-Nagy, A., Cavaliere, M., Sedwards, S. Combining Game Theory and Graph Theory to Model Interactions between Cells in the Tumor Microenvironment. Chapter in New Challenges for Cancer Systems Biomedicine. D'Onofrio, A., Cerrai, P., Gandolfi, A. (Eds.) Springer. PDF
• David, A., Larsen, K., Legay, A., Mikucionis, M., Poulsen, D., Sedwards, S. Statistical Model Checking for Stochastic Hybrid Systems, EPTCS 92, pp 122–136. PREPRINT PDF
• Sedwards, S., David, A., Larsen, K., Legay, A., Mikucionis, M., Poulsen, D. Runtime Verification of Biological Systems in Leveraging Applications of Formal Methods, Verification and Validation, Margaria, T., Margaria, T. (Eds.), Springer LNCS, pp 388–404. PREPRINT PDF
• Sedwards, S., Jegourel, C., Legay, A. Cross-entropy optimisation of importance sampling parameters for statistical model checking, Computer Aided Verification, Springer LNCS, Vol 7358, pp 327–342. PREPRINT PDF
• Sedwards, S., Jegourel, C., Legay, A. A Platform for High Performance Statistical Model Checking – PLASMA. Tools and Algorithms for the Construction and Analysis of Systems, Springer LNCS Vol 7214, pp 498–503. PREPRINT PDF

2011

• Sedwards, S., Cavaliere, S., Tarnita, C., Nowak, Martin A., Csikász-Nagy, A. Prosperity is associated with instability in dynamical networks. Journal of Theoretical Biology, Vol 299:21, pp 126–138. PDF
• Sedwards, S., Ihekwaba, A. E. C. Communicating oscillatory networks: frequency domain analysis. BMC Systems Biology 5:203. PDF

2009

• Sedwards, S. A Natural Computation Approach To Biology: Modelling Cellular Processes and Populations of Cells With Stochastic Models of P Systems. PhD Thesis. PDF
• Ballarini, Csikász-Nagy, Fauré, Jordán, Larcher, Lecca, Mazza, Mura, Palmisano, Romanel, Sedwards, Siebert, Soliman, Thieffry, Zámborszky. Analyzing various models of Circadian Clock and Cell Cycle coupling. Dagstuhl Seminar Proceedings 09091 – Formal Methods in Molecular Biology. PDF

2008

• Mardare, R., Cavaliere, M., Sedwards, S. A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents. International Journal of Foundations of Computer Science. 19:5. PDF
• Sedwards, S., Cavaliere, M., Mardare, R. A Multiset-Based Model of Synchronizing Agents: Computability and Robustness. Theoretical Computer Science. 391:3 (Feb. 2008), 216–238. PDF
• Sedwards, S., Cavaliere, M. Decision problems in membrane systems with peripheral proteins, transport and evolution. Theoretical Computer Science. 404:1–2, 40–51. PDF

2007

• Sedwards, S., Mazza, T. Cyto-Sim: A Formal Language Model and Stochastic Simulator of Membrane-Enclosed Biochemical Processes. Bioinformatics. 23, 20 (Oct. 15 2007), 2800–2802. PDF
• Sedwards, S., Cavaliere, M., Mardare, R. Colonies of Synchronizing Agents: An Abstract Model of Intracellular and Intercellular Processes. Proceedings of the International Workshop on Automata for Cellular and Molecular Computing, Budapest, Hungary (Aug. 31 2007). PDF
• Sedwards, S., Cavaliere, M. Membrane Systems with Peripheral Proteins: Transport and Evolution. Electronic Notes in Theoretical Computer Science. 171, 2 (Jul. 2007), 37–53. PDF

2006

• Sedwards, S., Cavaliere, M. Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins. Springer LNCS, Vol 4210, pp 108–126. PDF
• Sedwards, S., Cavaliere, M. Modelling and Simulating Biological Processes with Stochastic Multiset Rewriting. Dagstuhl Seminar Proceedings 06161, Simulation and Verification of Dynamic Systems. PDF