Výsledky vyhledávání - "Theory of computation Logic Abstraction"

Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning Autor Zhao, Hanrui, Zeng, Xia, Qi, Niuniu, Yang, Zhengfeng, Zeng, Zhenbing

“…) controllers for nonlinear systems subject to safety constraints. Our approach incorporates two phases…”
Získat plný text

Provably-correct coordination of large collections of agents with counting temporal logic constraints Autor Sahin, Yunus Emre, Nilsson, Petter, Ozay, Necmiye

“…In this paper, we consider the problem of coordinating a large collection of homogeneous agents subject to a novel class of constraints…”
Získat plný text

Deep Reinforcement Learning of Abstract Reasoning from Demonstrations Autor Clark-Turner, Madison, Begum, Momotaz

“…Extracting a set of generalizable rules that govern the dynamics of complex, high-level interactions between humans based only on observations is a high-level…”
Získat plný text