Sean Sedwards

Krzysztof Czarnecki

Auton. Agents Multi Agent Syst., June, 2024

SOAP: Cross-sensor Domain Adaptation for 3D Object Detection Using Stationary Object Aggregation Pseudo-labelling.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024

2022

Recursive Constraints to Prevent Instability in Constrained Reinforcement Learning.

[BibT_eX]

[DOI]

Jaeyoung Lee

Krzysztof Czarnecki

CoRR, 2022

A Rule-Based Behaviour Planner for Autonomous Driving.

[BibT_eX]

[DOI]

Frédéric Bouchard

Krzysztof Czarnecki

Proceedings of the Rules and Reasoning, 2022

A Hierarchical Pedestrian Behavior Model to Generate Realistic Human Behavior in Traffic Simulation.

[BibT_eX]

[DOI]

Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

2021

Falsification of Hybrid Systems Using Adaptive Probabilistic Search.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2021

Transfer Reinforcement Learning for Autonomous Driving: From WiseMove to WiseSim.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2021

Time-Staging Enhancement of Hybrid System Falsification.

[BibT_eX]

[DOI]

Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021

Non-divergent Imitation for Verification of Complex Learned Controllers.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2021

2020

An efficient statistical model checker for nondeterminism and rare events.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2020

Accelerating the Training of Convolutional Neural Networks for Image Segmentation with Deep Active Learning.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Improved Policy Extraction via Online Q-Value Distillation.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Artificial Intelligence Safety, 2020

Simple Continual Learning Strategies for Safer Classifers.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Artificial Intelligence Safety, 2020

2019

Design Space of Behaviour Planning for Autonomous Driving.

[BibT_eX]

[DOI]

CoRR, 2019

WiseMove: A Framework for Safe Deep Reinforcement Learning for Autonomous Driving.

[BibT_eX]

[DOI]

CoRR, 2019

Accelerated Learning of Predictive Runtime Monitors for Rare Failure.

[BibT_eX]

[DOI]

Reza Babaee

Vijay Ganesh

Proceedings of the Runtime Verification - 19th International Conference, 2019

WiseMove: A Framework to Investigate Safe Deep Reinforcement Learning for Autonomous Driving.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs.

[BibT_eX]

[DOI]

Manfred Jaeger

Peter Gjøl Jensen

Kim Guldstrand Larsen

Jakob Haahr Taankvist

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Group abstraction for assisted navigation of social activities in intelligent environments.

[BibT_eX]

[DOI]

J. Reliab. Intell. Environ., 2018

Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search.

[BibT_eX]

[DOI]

CoRR, 2018

A Statistical Model Checker for Nondeterminism and Rare Events.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Lightweight Statistical Model Checking in Nondeterministic Continuous Time.

[BibT_eX]

[DOI]

Pedro R. D'Argenio

Arnd Hartmanns

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

A Hierarchy of Scheduler Classes for Stochastic Automata.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2018

Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems.

[BibT_eX]

[DOI]

Kengo Kido

Ichiro Hasuo

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.

[BibT_eX]

[DOI]

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version).

[BibT_eX]

[DOI]

Kengo Kido

Ichiro Hasuo

CoRR, 2017

Efficient simulation-based verification of probabilistic timed automata.

[BibT_eX]

[DOI]

Arnd Hartmanns

Pedro R. D'Argenio

Proceedings of the 2017 Winter Simulation Conference, 2017

Memory-Efficient Tactics for Randomized LTL Model Checking.

[BibT_eX]

[DOI]

Kim G. Larsen

Doron Peled

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults.

[BibT_eX]

[DOI]

Thomas Given-Wilson

Proceedings of the Human Aspects of Information Security, Privacy and Trust, 2017

Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems.

[BibT_eX]

[DOI]

Kengo Kido

Ichiro Hasuo

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

2016

Command-based importance sampling for statistical model checking.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Importance Sampling for Stochastic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Rare Events for Statistical Model Checking an Overview.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 10th International Workshop, 2016

Plasma Lab: A Modular Statistical Model Checking Platform.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015

Statistical model checking for biological systems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2015

Smart sampling for lightweight verification of Markov decision processes.

[BibT_eX]

[DOI]

Pedro R. D'Argenio

Int. J. Softw. Tools Technol. Transf., 2015

Efficient customisable dynamic motion planning for assistive robots in complex human environments.

[BibT_eX]

[DOI]

J. Ambient Intell. Smart Environ., 2015

Navigation assistance and guidance of older adults across complex public spaces: the DALi approach.

[BibT_eX]

[DOI]

Antonello Giannitrapani

Domenico Prattichizzo

Intell. Serv. Robotics, 2015

Estimating Rewards & Rare Events in Nondeterministic Systems.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

Distributed Verification of Rare Properties using Importance Splitting Observers.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers.

[BibT_eX]

[DOI]

CoRR, 2015

2014

Lightweight Verification of Markov Decision Processes with Rewards.

[BibT_eX]

[DOI]

CoRR, 2014

On Statistical Model Checking with PLASMA.

[BibT_eX]

[DOI]

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Scalable Verification of Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2014

Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013

Lightweight Monte Carlo Algorithm for Markov Decision Processes.

[BibT_eX]

[DOI]

CoRR, 2013

PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Behavioural templates improve robot motion planning with social force model in human environments.

[BibT_eX]

[DOI]

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Motion planning in crowds using statistical model checking to enhance the social force model.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Importance Splitting for Statistical Model Checking Rare Properties.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Statistical Model Checking for Stochastic Hybrid Systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

A Platform for High Performance Statistical Model Checking - PLASMA.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Runtime Verification of Biological Systems.

[BibT_eX]

[DOI]

Alexandre David

Kim Guldstrand Larsen

Marius Mikucionis

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Communicating oscillatory networks: frequency domain analysis.

[BibT_eX]

[DOI]

Adaoha E. C. Ihekwaba

BMC Syst. Biol., 2011

2009

Analyzing various models of Circadian Clock and Cell Cycle coupling.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009

2008

Decision problems in membrane systems with peripheral proteins, transport and evolution.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

A multiset-based model of synchronizing agents: Computability and robustness.

[BibT_eX]

[DOI]

Radu Mardare

Theor. Comput. Sci., 2008

A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents.

[BibT_eX]

[DOI]

Radu Mardare

Int. J. Found. Comput. Sci., 2008

2007

Cyto-Sim: a formal language model and stochastic simulator of membrane-enclosed biochemical processes.

[BibT_eX]

[DOI]

Tommaso Mazza

Bioinform., 2007

2006

Membrane Systems with Peripheral Proteins: Transport and Evolution.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006

Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins.

[BibT_eX]

[DOI]