Bettina Könighofer

Edi Muskardin

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data.

[BibT_eX]

[DOI]

Andrea Pferscher

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Abstraction-Based Decision Making for Statistical Properties (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Computer Science and Law, 2024

soid: A Tool for Legal Accountability for Automated Decision Making.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Online shielding for reinforcement learning.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., December, 2023

Accountable Software Systems (Dagstuhl Seminar 23411).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2023

Learning Environment Models with Continuous Stochastic Dynamics.

[BibT_eX]

[DOI]

Edi Muskardin

CoRR, 2023

Welcome Remarks from AISoLA 2023/Track C2 Chairs.

[BibT_eX]

[DOI]

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Formal XAI via Syntax-Guided Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 29th International Symposium, 2023

Analyzing Intentional Behavior in Autonomous Agents under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Formal Methods for Trused AI.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2023

Safety Shielding under Delayed Observation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022

Automata Learning Meets Shielding.

[BibT_eX]

[DOI]

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

Search-Based Testing of Reinforcement Learning.

[BibT_eX]

[DOI]

Filip Cano Córdoba

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Correct-by-Construction Runtime Enforcement in AI - A Survey.

[BibT_eX]

[DOI]

Proceedings of the Principles of Systems Design, 2022

2021

Online Shielding for Stochastic Systems.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2021

Adaptive Shielding under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 2021 American Control Conference, 2021

2020

It's Time to Play Safe: Shield Synthesis for Timed Systems.

[BibT_eX]

[DOI]

Peter Gjøl Jensen

Kim Guldstrand Larsen

Florian Lorber

Alexander Palmisano

CoRR, 2020

Shield Synthesis for Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Run-Time Optimization for Learned Controllers Through Quantitative Games.

[BibT_eX]

[DOI]

Guy Avni

Krishnendu Chatterjee

Thomas A. Henzinger

Stefan Pranger

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Synthesis of Minimum-Cost Shields for Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

2018

Shielded Decision-Making in MDPs.

[BibT_eX]

[DOI]

CoRR, 2018

Safe Reinforcement Learning via Shielding.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Formal Verification of Masked Hardware Implementations in the Presence of Glitches.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Shield synthesis.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2017

2016

Synthesis of Admissible Shields.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2016

2015

Shield Synthesis: - Runtime Enforcement for Reactive Systems.

[BibT_eX]

[DOI]

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

2014

Synthesizing robust systems.

[BibT_eX]

[DOI]

Krishnendu Chatterjee

Acta Informatica, 2014

Synthesis of synchronization using uninterpreted functions.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

Synthesizing multiple boolean functions using interpolation on a single proof.

[BibT_eX]

[DOI]

Georg Hofferek

Ashutosh Gupta

Jie-Hong Roland Jiang