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

“…There is a pressing need to synthesize provable safety controllers for nonlinear systems as they are embedded in many safety-critical applications. In this…”
Získat plný text

PolyGym: Polyhedral Optimizations as an Environment for Reinforcement Learning Autor Brauckmann, Alexander, Goens, Andres, Castrillon, Jeronimo

“…The polyhedral model allows a structured way of defining semantics-preserving transformations to improve the performance of a large class of loops. Finding…”
Získat plný text

Modeling Time in Java Programs for Automatic Error Detection Autor Liva, Giovanni, Khan, Muhammad Taimoor, Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas, Pinzger, Martin

“…Modern programming languages, such as Java, represent time as integer variables, called timestamps. Timestamps allow developers to tacitly model incorrect time…”
Získat plný text

Using Behavioural Programming with Solver, Context, and Deep Reinforcement Learning for Playing a Simplified RoboCup-Type Game Autor Elyasaf, Achiya, Sadon, Aviran, Weiss, Gera, Yaacov, Tom

“…We describe four scenario-based implementations of controllers for a player in a simplified RoboCup-type game. All four implementations are based on the…”
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: counting temporal…”
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

Abstraction based reachability analysis for finite branching stochastic hybrid systems Autor Zhang, Wenji, Prabhakar, Pavithra, Natarajan, Balasubramaniam

“…In this paper, we address the problem of computing the probability of reaching a desired set in a subclass of stochastic hybrid systems, wherein the…”
Získat plný text