Skip to content

Add paper: Validation of Reinforcement Learning Agents and Safety Shi…#616

Open
favu100 wants to merge 2 commits intoFarama-Foundation:masterfrom
favu100:patch-1
Open

Add paper: Validation of Reinforcement Learning Agents and Safety Shi…#616
favu100 wants to merge 2 commits intoFarama-Foundation:masterfrom
favu100:patch-1

Conversation

@favu100
Copy link
Copy Markdown

@favu100 favu100 commented Aug 28, 2024

…elds with ProB

Copy link
Copy Markdown

@hkbharath hkbharath left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The added paper proposes a method to implement safety shield to AVs. This was demonstrated using highway-env.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants