Sean Sedwards

87 papers A* 3A 3B 7C 2Misc 3Journal 41Unranked 28
YearRankTypeTitle / Venue / Authors
2026 J jnl
Rethinking the Mixture of Vision Encoders Paradigm for Enhanced Visual Understanding in Multimodal LLMs.
Trans. Mach. Learn. Res.
Mozhgan Nasr Azadani, James Riddell, Sean Sedwards, Krzysztof Czarnecki
2025 J jnl
HAWAII: Hierarchical Visual Knowledge Transfer for Efficient Vision-Language Models.
CoRR
Yimu Wang, Mozhgan Nasr Azadani, Sean Sedwards, Krzysztof Czarnecki
2025 J jnl
How Hard Is Snow? A Paired Domain Adaptation Dataset for Clear and Snowy Weather: CADC+.
CoRR
Mei Qi Tang, Sean Sedwards, Chengjie Huang, Krzysztof Czarnecki
2025 A* conf
LEO-MINI: An Efficient Multimodal Large Language Model using Conditional Token Reduction and Mixture of Multi-Modal Experts.
EMNLP
Yimu Wang, Mozhgan Nasr Azadani, Sean Sedwards, Krzysztof Czarnecki
2025 J jnl
LEO-MINI: An Efficient Multimodal Large Language Model using Conditional Token Reduction and Mixture of Multi-Modal Experts.
CoRR
Yimu Wang, Mozhgan Nasr Azadani, Sean Sedwards, Krzysztof Czarnecki
2025 J jnl
LEO: Boosting Mixture of Vision Encoders for Multimodal Large Language Models.
CoRR
Mozhgan Nasr Azadani, James Riddell, Sean Sedwards, Krzysztof Czarnecki
2025 J jnl
Mitigating the Modality Gap: Few-Shot Out-of-Distribution Detection with Multi-modal Prototypes and Image Bias Estimation.
CoRR
Yimu Wang, Evelien Riddell, Adrian Chow, Sean Sedwards, Krzysztof Czarnecki
2025 J jnl
OV-SCAN: Semantically Consistent Alignment for Novel Object Discovery in Open-Vocabulary 3D Object Detection.
CoRR
Adrian Chow, Evelien Riddell, Yimu Wang, Sean Sedwards, Krzysztof Czarnecki
2025 A conf
VADet: Multi-Frame LiDAR 3D Object Detection Using Variable Aggregation.
WACV
Chengjie Huang, Vahdat Abdelzad, Sean Sedwards, Krzysztof Czarnecki
2024 — conf
3D Object Detection with Track-Based Auto-Labelling Using Very Sparsely Labelled Data.
ITSC
Mei Qi Tang, Vahdat Abdelzad, Chengjie Huang, Sean Sedwards, Krzysztof Czarnecki
2024 J jnl
A Rule-Based Behaviour Planner for Autonomous Driving.
CoRR
Frédéric Bouchard, Sean Sedwards, Krzysztof Czarnecki
2024 A conf
SOAP: Cross-sensor Domain Adaptation for 3D Object Detection Using Stationary Object Aggregation Pseudo-labelling.
WACV
Chengjie Huang, Vahdat Abdelzad, Sean Sedwards, Krzysztof Czarnecki
2024 J jnl
SOAP: Cross-sensor Domain Adaptation for 3D Object Detection Using Stationary Object Aggregation Pseudo-labelling.
CoRR
Chengjie Huang, Vahdat Abdelzad, Sean Sedwards, Krzysztof Czarnecki
2024 J jnl
Uniformly constrained reinforcement learning.
Auton. Agents Multi Agent Syst.
Jaeyoung Lee, Sean Sedwards, Krzysztof Czarnecki
2024 J jnl
VADet: Multi-frame LiDAR 3D Object Detection using Variable Aggregation.
CoRR
Chengjie Huang, Vahdat Abdelzad, Sean Sedwards, Krzysztof Czarnecki
2022 C conf
A Hierarchical Pedestrian Behavior Model to Generate Realistic Human Behavior in Traffic Simulation.
IV
Scott Larter, Rodrigo Queiroz, Sean Sedwards, Atrisha Sarkar, Krzysztof Czarnecki
2022 J jnl
A Hierarchical Pedestrian Behavior Model to Generate Realistic Human Behavior in Traffic Simulation.
CoRR
Scott Larter, Rodrigo Queiroz, Sean Sedwards, Atrisha Sarkar, Krzysztof Czarnecki
2022 B conf
A Rule-Based Behaviour Planner for Autonomous Driving.
RuleML+RR
Frédéric Bouchard, Sean Sedwards, Krzysztof Czarnecki
2022 J jnl
Recursive Constraints to Prevent Instability in Constrained Reinforcement Learning.
CoRR
Jaeyoung Lee, Sean Sedwards, Krzysztof Czarnecki
2021 J jnl
Falsification of Hybrid Systems Using Adaptive Probabilistic Search.
ACM Trans. Model. Comput. Simul.
Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo
2021 B conf
Non-divergent Imitation for Verification of Complex Learned Controllers.
IJCNN
Vahdat Abdelzad, Jaeyoung Lee, Sean Sedwards, Soheil Soltani, Krzysztof Czarnecki
2021 — conf
Time-Staging Enhancement of Hybrid System Falsification.
SNR
Gidon Ernst, Ichiro Hasuo, Zhenya Zhang, Sean Sedwards
2021 J jnl
Transfer Reinforcement Learning for Autonomous Driving: From WiseMove to WiseSim.
ACM Trans. Model. Comput. Simul.
Aravind Balakrishnan, Jaeyoung Lee, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards
2020 — conf
Accelerating the Training of Convolutional Neural Networks for Image Segmentation with Deep Active Learning.
ITSC
Weitao Chen, Rick Salay, Sean Sedwards, Vahdat Abdelzad, Krzysztof Czarnecki
2020 J jnl
An efficient statistical model checker for nondeterminism and rare events.
Int. J. Softw. Tools Technol. Transf.
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
2020 B conf
Improved Policy Extraction via Online Q-Value Distillation.
IJCNN
Aman Jhunjhunwala, Jaeyoung Lee, Sean Sedwards, Vahdat Abdelzad, Krzysztof Czarnecki
2020 — conf
PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML.
SafeAI@AAAI
Rick Salay, Krzysztof Czarnecki, Maria Soledad Elli, Ignacio J. Alvarez, Sean Sedwards, Jack Weast
2020 — conf
Simple Continual Learning Strategies for Safer Classifers.
SafeAI@AAAI
Ashish Gaurav, Sachin Vernekar, Jaeyoung Lee, Vahdat Abdelzad, Krzysztof Czarnecki, Sean Sedwards
2019 B conf
Accelerated Learning of Predictive Runtime Monitors for Rare Failure.
RV
Reza Babaee, Vijay Ganesh, Sean Sedwards
2019 J jnl
Design Space of Behaviour Planning for Autonomous Driving.
CoRR
Marko Ilievski, Sean Sedwards, Ashish Gaurav, Aravind Balakrishnan, Atrisha Sarkar, Jaeyoung Lee, Frédéric Bouchard, Ryan De Iaco, Krzysztof Czarnecki
2019 — conf
Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input.
QEST
Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo
2019 B conf
Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs.
ATVA
Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist
2019 J jnl
WiseMove: A Framework for Safe Deep Reinforcement Learning for Autonomous Driving.
CoRR
Jaeyoung Lee, Aravind Balakrishnan, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards
2019 — conf
WiseMove: A Framework to Investigate Safe Deep Reinforcement Learning for Autonomous Driving.
QEST
Jaeyoung Lee, Aravind Balakrishnan, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards
2018 B conf
A Hierarchy of Scheduler Classes for Stochastic Automata.
FoSSaCS
Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
2018 — conf
A Statistical Model Checker for Nondeterminism and Rare Events.
TACAS (2)
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
2018 — conf
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.
ARCH@ADHS
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards
2018 — conf
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems.
ADHS
Kengo Kido, Sean Sedwards, Ichiro Hasuo
2018 J jnl
Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input.
CoRR
Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo
2018 J jnl
Group abstraction for assisted navigation of social activities in intelligent environments.
J. Reliab. Intell. Environ.
Thomas Given-Wilson, Axel Legay, Sean Sedwards, Olivier Zendra
2018 — conf
Lightweight Statistical Model Checking in Nondeterministic Continuous Time.
ISoLA (2)
Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
2018 — conf
Time-Staging Enhancement of Hybrid System Falsification.
MT@CPSWeek
Zhenya Zhang, Gidon Ernst, Ichiro Hasuo, Sean Sedwards
2018 J jnl
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo
2018 J jnl
Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search.
CoRR
Zhenya Zhang, Ichiro Hasuo, Gidon Ernst, Sean Sedwards
2017 J jnl
A Hierarchy of Scheduler Classes for Stochastic Automata.
CoRR
Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
2017 J jnl
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version).
CoRR
Kengo Kido, Sean Sedwards, Ichiro Hasuo
2017 Misc conf
Efficient simulation-based verification of probabilistic timed automata.
WSC
Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio
2017 — conf
Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults.
HCI (22)
Thomas Given-Wilson, Axel Legay, Sean Sedwards
2017 — conf
Memory-Efficient Tactics for Randomized LTL Model Checking.
VSTTE
Kim G. Larsen, Doron Peled, Sean Sedwards
2017 — conf
Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems.
CyPhy
Kengo Kido, Sean Sedwards, Ichiro Hasuo
2016 J jnl
Command-based importance sampling for statistical model checking.
Theor. Comput. Sci.
Cyrille Jégourel, Axel Legay, Sean Sedwards
2016 Misc conf
Importance Sampling for Stochastic Timed Automata.
SETTA
Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2016 — conf
Plasma Lab: A Modular Statistical Model Checking Platform.
ISoLA (1)
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2016 — conf
Rare Events for Statistical Model Checking an Overview.
RP
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2016 B conf
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata.
IFM
Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards
2015 J jnl
Distributed Verification of Rare Properties using Importance Splitting Observers.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2015 J jnl
Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers.
CoRR
Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2015 J jnl
Efficient customisable dynamic motion planning for assistive robots in complex human environments.
J. Ambient Intell. Smart Environ.
Alessio Colombo, Daniele Fontanelli, Axel Legay, Luigi Palopoli, Sean Sedwards
2015 J jnl
Estimating Rewards & Rare Events in Nondeterministic Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2015 J jnl
Navigation assistance and guidance of older adults across complex public spaces: the DALi approach.
Intell. Serv. Robotics
Luigi Palopoli, Antonis A. Argyros, Josef A. Birchbauer, Alessio Colombo, Daniele Fontanelli, Axel Legay, Andrea Garulli, Antonello Giannitrapani, David Macii, Federico Moro, Payam Nazemzadeh, Pashalis Padeleris, Roberto Passerone, Georg Poier, Domenico Prattichizzo, Tizar Rizano, Luca Rizzon, Stefano Scheggi, Sean Sedwards
2015 J jnl
Smart sampling for lightweight verification of Markov decision processes.
Int. J. Softw. Tools Technol. Transf.
Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2015 J jnl
Statistical model checking for biological systems.
Int. J. Softw. Tools Technol. Transf.
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2014 — conf
An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking.
ISoLA (2)
Cyrille Jégourel, Axel Legay, Sean Sedwards
2014 J jnl
Lightweight Verification of Markov Decision Processes with Rewards.
CoRR
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2014 Misc conf
On Statistical Model Checking with PLASMA.
TASE
Axel Legay, Sean Sedwards
2014 — conf
Scalable Verification of Markov Decision Processes.
SEFM Workshops
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2014 J jnl
Smart Sampling for Lightweight Verification of Markov Decision Processes.
CoRR
Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2014 — conf
Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems.
ISoLA (1)
Axel Legay, Sean Sedwards
2013 C conf
Behavioural templates improve robot motion planning with social force model in human environments.
ETFA
Alessio Colombo, Daniele Fontanelli, Dhaval Gandhi, Antonella De Angeli, Luigi Palopoli, Sean Sedwards, Axel Legay
2013 A* conf
Importance Splitting for Statistical Model Checking Rare Properties.
CAV
Cyrille Jégourel, Axel Legay, Sean Sedwards
2013 J jnl
Lightweight Monte Carlo Algorithm for Markov Decision Processes.
CoRR
Axel Legay, Sean Sedwards
2013 — conf
Motion planning in crowds using statistical model checking to enhance the social force model.
CDC
Alessio Colombo, Daniele Fontanelli, Axel Legay, Luigi Palopoli, Sean Sedwards
2013 — conf
PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library.
QEST
Benoît Boyer, Kevin Corre, Axel Legay, Sean Sedwards
2012 A conf
A Platform for High Performance Statistical Model Checking - PLASMA.
TACAS
Cyrille Jégourel, Axel Legay, Sean Sedwards
2012 A* conf
Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking.
CAV
Cyrille Jégourel, Axel Legay, Sean Sedwards
2012 J jnl
Cross-entropy optimisation of importance sampling parameters for statistical model checking
CoRR
Cyrille Jégourel, Axel Legay, Sean Sedwards
2012 — conf
Runtime Verification of Biological Systems.
ISoLA (1)
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2012 — conf
Statistical Model Checking for Stochastic Hybrid Systems
HSB
Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2011 J jnl
Communicating oscillatory networks: frequency domain analysis.
BMC Syst. Biol.
Adaoha E. C. Ihekwaba, Sean Sedwards
2009 — conf
Analyzing various models of Circadian Clock and Cell Cycle coupling.
Formal Methods in Molecular Biology
Attila Csikász-Nagy, Adrien Fauré, Roberto Larcher, Paola Lecca, Ivan Mura, Ferenc Jordán, Alida Palmisano, Alessandro Romanel, Sean Sedwards, Heike Siebert, Sylvain Soliman, Denis Thieffry, Judit Zámborszky, Tommaso Mazza, Paolo Ballarini
2008 J jnl
A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents.
Int. J. Found. Comput. Sci.
Radu Mardare, Matteo Cavaliere, Sean Sedwards
2008 J jnl
A multiset-based model of synchronizing agents: Computability and robustness.
Theor. Comput. Sci.
Matteo Cavaliere, Radu Mardare, Sean Sedwards
2008 J jnl
Decision problems in membrane systems with peripheral proteins, transport and evolution.
Theor. Comput. Sci.
Matteo Cavaliere, Sean Sedwards
2007 J jnl
Cyto-Sim: a formal language model and stochastic simulator of membrane-enclosed biochemical processes.
Bioinform.
Sean Sedwards, Tommaso Mazza
2006 — conf
Membrane Systems with Peripheral Proteins: Transport and Evolution.
MeCBIC@ICALP
Matteo Cavaliere, Sean Sedwards
2006 — conf
Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting.
Simulation and Verification of Dynamic Systems
Matteo Cavaliere, Sean Sedwards
2006 — conf
Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins.
CMSB
Matteo Cavaliere, Sean Sedwards