Certified reinforcement learning with logic guidance

Hosein Hasanbeig, Daniel Kroening, Alessandro Abate

Artificial Intelligence · 2023 · 30 citations · 93 references

Concepts

References

93