Akhila Bairy

According to our database, Akhila Bairy authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

What Level of Power Should We Give an Automation? - - Adjusting the Level of Automation in HCPS -.

Mehrnoush Hajnorouzi, Astrid Rakow, Akhila Bairy, Jan-Patrick Osterloh, Martin Fränzle

Proceedings of the Dependable Computing - EDCC 2024 Workshops, 2024

2023

What to tell when? - Information Provision as a Game.

Astrid Rakow, Mehrnoush Hajnorouzi, Akhila Bairy

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

2022

Towards Formal Concepts for Explanation Timing and Justifications.

Akhila Bairy, Willem Hagemann, Astrid Rakow, Maike Schwammberger

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

Modeling Explanations in Autonomous Vehicles.

Akhila Bairy

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022