1 code implementation • 29 Aug 2017 • Mohammed Alshiekh, Roderick Bloem, Ruediger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu
In the first one, the shield acts each time the learning agent is about to make a decision and provides a list of safe actions.
1 code implementation • 3 May 2017 • Ruediger Ehlers
We present a specialized verification algorithm that employs this approximation in a search process in which it infers additional node phases for the non-linear nodes in the network from partial node phase assignments, similar to unit propagation in classical SAT solving.
no code implementations • 5 Mar 2015 • Min Wen, Ruediger Ehlers, Ufuk Topcu
We establish both correctness (with respect to the temporal logic specifications) and optimality (with respect to the a priori unknown performance criterion) of this two-step technique for a fragment of temporal logic specifications.