Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2205.10464
Cited By
Synthesis from Satisficing and Temporal Goals
20 May 2022
Suguman Bansal
Lydia E. Kavraki
Moshe Y. Vardi
Andrew M. Wells
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Synthesis from Satisficing and Temporal Goals"
1 / 1 papers shown
Title
Certified Reinforcement Learning with Logic Guidance
Mohammadhosein Hasanbeig
Daniel Kroening
Alessandro Abate
21
53
0
02 Feb 2019
1
