Sean Sedwards

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 50

Top Topics

Markov Decision Process

Top Venues

Int. J. Softw. Tools Technol. Transf.

ACM Trans. Model. Comput. Simul.

Publications

Chengjie Huang, Vahdat Abdelzad, Sean Sedwards, Krzysztof Czarnecki
SOAP: Cross-sensor Domain Adaptation for 3D Object Detection Using Stationary Object Aggregation Pseudo-labelling. CoRR (2024)
Jaeyoung Lee, Sean Sedwards, Krzysztof Czarnecki
Uniformly constrained reinforcement learning. Auton. Agents Multi Agent Syst. 38 (1) (2024)
Chengjie Huang, Vahdat Abdelzad, Sean Sedwards, Krzysztof Czarnecki
SOAP: Cross-sensor Domain Adaptation for 3D Object Detection Using Stationary Object Aggregation Pseudo-labelling. WACV (2024)
Scott Larter, Rodrigo Queiroz, Sean Sedwards, Atrisha Sarkar, Krzysztof Czarnecki
A Hierarchical Pedestrian Behavior Model to Generate Realistic Human Behavior in Traffic Simulation. IV (2022)
Scott Larter, Rodrigo Queiroz, Sean Sedwards, Atrisha Sarkar, Krzysztof Czarnecki
A Hierarchical Pedestrian Behavior Model to Generate Realistic Human Behavior in Traffic Simulation. CoRR (2022)
Frédéric Bouchard, Sean Sedwards, Krzysztof Czarnecki
A Rule-Based Behaviour Planner for Autonomous Driving. RuleML+RR (2022)
Jaeyoung Lee, Sean Sedwards, Krzysztof Czarnecki
Recursive Constraints to Prevent Instability in Constrained Reinforcement Learning. CoRR (2022)
Aravind Balakrishnan, Jaeyoung Lee, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards
Transfer Reinforcement Learning for Autonomous Driving: From WiseMove to WiseSim. ACM Trans. Model. Comput. Simul. 31 (3) (2021)
Vahdat Abdelzad, Jaeyoung Lee, Sean Sedwards, Soheil Soltani, Krzysztof Czarnecki
Non-divergent Imitation for Verification of Complex Learned Controllers. IJCNN (2021)
Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo
Falsification of Hybrid Systems Using Adaptive Probabilistic Search. ACM Trans. Model. Comput. Simul. 31 (3) (2021)
Rick Salay, Krzysztof Czarnecki, Maria Soledad Elli, Ignacio J. Alvarez, Sean Sedwards, Jack Weast
PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML. SafeAI@AAAI (2020)
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
An efficient statistical model checker for nondeterminism and rare events. Int. J. Softw. Tools Technol. Transf. 22 (6) (2020)
Weitao Chen, Rick Salay, Sean Sedwards, Vahdat Abdelzad, Krzysztof Czarnecki
Accelerating the Training of Convolutional Neural Networks for Image Segmentation with Deep Active Learning. ITSC (2020)
Aman Jhunjhunwala, Jaeyoung Lee, Sean Sedwards, Vahdat Abdelzad, Krzysztof Czarnecki
Improved Policy Extraction via Online Q-Value Distillation. IJCNN (2020)
Ashish Gaurav, Sachin Vernekar, Jaeyoung Lee, Vahdat Abdelzad, Krzysztof Czarnecki, Sean Sedwards
Simple Continual Learning Strategies for Safer Classifers. SafeAI@AAAI (2020)
Jaeyoung Lee, Aravind Balakrishnan, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards
WiseMove: A Framework to Investigate Safe Deep Reinforcement Learning for Autonomous Driving. QEST (2019)
Reza Babaee, Vijay Ganesh, Sean Sedwards
Accelerated Learning of Predictive Runtime Monitors for Rare Failure. RV (2019)
Jaeyoung Lee, Aravind Balakrishnan, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards
WiseMove: A Framework for Safe Deep Reinforcement Learning for Autonomous Driving. CoRR (2019)
Marko Ilievski, Sean Sedwards, Ashish Gaurav, Aravind Balakrishnan, Atrisha Sarkar, Jaeyoung Lee, Frédéric Bouchard, Ryan De Iaco, Krzysztof Czarnecki
Design Space of Behaviour Planning for Autonomous Driving. CoRR (2019)
Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist
Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. ATVA (2019)
Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo
Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input. QEST (2019)
Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Gidon Ernst, Ichiro Hasuo, Zhenya Zhang, Sean Sedwards
Time-Staging Enhancement of Hybrid System Falsification. CoRR (2018)
Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
A Hierarchy of Scheduler Classes for Stochastic Automata. FoSSaCS (2018)
Zhenya Zhang, Ichiro Hasuo, Gidon Ernst, Sean Sedwards
Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search. CoRR (2018)
Kengo Kido, Sean Sedwards, Ichiro Hasuo
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems. ADHS (2018)
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
A Statistical Model Checker for Nondeterminism and Rare Events. TACAS (2) (2018)
Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
Lightweight Statistical Model Checking in Nondeterministic Continuous Time. ISoLA (2) (2018)
Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo
Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input. CoRR (2018)
Thomas Given-Wilson, Axel Legay, Sean Sedwards, Olivier Zendra
Group abstraction for assisted navigation of social activities in intelligent environments. J. Reliab. Intell. Environ. 4 (2) (2018)
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. ARCH@ADHS (2018)
Zhenya Zhang, Gidon Ernst, Ichiro Hasuo, Sean Sedwards
Time-Staging Enhancement of Hybrid System Falsification. MT@CPSWeek (2018)
Kengo Kido, Sean Sedwards, Ichiro Hasuo
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version). CoRR (2017)
Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
A Hierarchy of Scheduler Classes for Stochastic Automata. CoRR (2017)
Kengo Kido, Sean Sedwards, Ichiro Hasuo
Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems. CyPhy (2017)
Thomas Given-Wilson, Axel Legay, Sean Sedwards
Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults. HCI (22) (2017)
Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio
Efficient simulation-based verification of probabilistic timed automata. WSC (2017)
Kim G. Larsen, Doron Peled, Sean Sedwards
Memory-Efficient Tactics for Randomized LTL Model Checking. VSTTE (2017)
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Rare Events for Statistical Model Checking an Overview. RP (2016)
Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. IFM (2016)
Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
Importance Sampling for Stochastic Timed Automata. SETTA (2016)
Cyrille Jégourel, Axel Legay, Sean Sedwards
Command-based importance sampling for statistical model checking. Theor. Comput. Sci. 649 (2016)
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Plasma Lab: A Modular Statistical Model Checking Platform. ISoLA (1) (2016)
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Estimating Rewards & Rare Events in Nondeterministic Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers. CoRR (2015)
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
Statistical model checking for biological systems. Int. J. Softw. Tools Technol. Transf. 17 (3) (2015)
Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Distributed Verification of Rare Properties using Importance Splitting Observers. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
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
Navigation assistance and guidance of older adults across complex public spaces: the DALi approach. Intell. Serv. Robotics 8 (2) (2015)
Alessio Colombo, Daniele Fontanelli, Axel Legay, Luigi Palopoli, Sean Sedwards
Efficient customisable dynamic motion planning for assistive robots in complex human environments. J. Ambient Intell. Smart Environ. 7 (5) (2015)
Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Smart sampling for lightweight verification of Markov decision processes. Int. J. Softw. Tools Technol. Transf. 17 (4) (2015)
Cyrille Jégourel, Axel Legay, Sean Sedwards
An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking. ISoLA (2) (2014)
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Scalable Verification of Markov Decision Processes. SEFM Workshops (2014)
Axel Legay, Sean Sedwards
On Statistical Model Checking with PLASMA. TASE (2014)
Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Smart Sampling for Lightweight Verification of Markov Decision Processes. CoRR (2014)
Axel Legay, Sean Sedwards
Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems. ISoLA (1) (2014)
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Lightweight Verification of Markov Decision Processes with Rewards. CoRR (2014)
Cyrille Jégourel, Axel Legay, Sean Sedwards
Importance Splitting for Statistical Model Checking Rare Properties. CAV (2013)
Axel Legay, Sean Sedwards
Lightweight Monte Carlo Algorithm for Markov Decision Processes. CoRR (2013)
Alessio Colombo, Daniele Fontanelli, Axel Legay, Luigi Palopoli, Sean Sedwards
Motion planning in crowds using statistical model checking to enhance the social force model. CDC (2013)
Alessio Colombo, Daniele Fontanelli, Dhaval Gandhi, Antonella De Angeli, Luigi Palopoli, Sean Sedwards, Axel Legay
Behavioural templates improve robot motion planning with social force model in human environments. ETFA (2013)
Benoît Boyer, Kevin Corre, Axel Legay, Sean Sedwards
PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library. QEST (2013)
Cyrille Jégourel, Axel Legay, Sean Sedwards
Cross-entropy optimisation of importance sampling parameters for statistical model checking CoRR (2012)
Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
Statistical Model Checking for Stochastic Hybrid Systems HSB (2012)
Cyrille Jégourel, Axel Legay, Sean Sedwards
Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. CAV (2012)
Cyrille Jégourel, Axel Legay, Sean Sedwards
A Platform for High Performance Statistical Model Checking - PLASMA. TACAS (2012)
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
Runtime Verification of Biological Systems. ISoLA (1) (2012)
Adaoha E. C. Ihekwaba, Sean Sedwards
Communicating oscillatory networks: frequency domain analysis. BMC Syst. Biol. 5 (2011)
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
Analyzing various models of Circadian Clock and Cell Cycle coupling. Formal Methods in Molecular Biology (2009)
Matteo Cavaliere, Sean Sedwards
Decision problems in membrane systems with peripheral proteins, transport and evolution. Theor. Comput. Sci. 404 (1-2) (2008)
Radu Mardare, Matteo Cavaliere, Sean Sedwards
A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents. Int. J. Found. Comput. Sci. 19 (5) (2008)
Matteo Cavaliere, Radu Mardare, Sean Sedwards
A multiset-based model of synchronizing agents: Computability and robustness. Theor. Comput. Sci. 391 (3) (2008)
Matteo Cavaliere, Sean Sedwards
Membrane Systems with Peripheral Proteins: Transport and Evolution. Electron. Notes Theor. Comput. Sci. 171 (2) (2007)
Sean Sedwards, Tommaso Mazza
Cyto-Sim: a formal language model and stochastic simulator of membrane-enclosed biochemical processes. Bioinform. 23 (20) (2007)
Matteo Cavaliere, Sean Sedwards
Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins. CMSB (2006)
Matteo Cavaliere, Sean Sedwards
Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting. Simulation and Verification of Dynamic Systems (2006)