Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by D. Kroening
Reinforcement Learning for Temporal Logic Control Synthesis With Probabilistic Satisfaction Guarantees
Fault Tolerance Tradeoffs in Moving From Decentralized to Centralized Embedded Systems
Specifying and Verifying Systems With Multiple Clocks
