Technologie-Atlas
Chemielabor mit farbigen Lösungen

Projekt

Ignoranz & Nichtdeterminismus beim Planen und der Synthese

Temporal Logic, Best Effort, Autonomous Behavior, Reactive Synthesis, FOND planning, Rational Agent, Naturwissenschaften, Informatik, Artificial Intelligence, Theoretische Informatik

Temporal Logic, Best Effort, Autonomous Behavior, Reactive Synthesis, FOND planning, Rational Agent, Naturwissenschaften, Informatik, Artificial Intelligence, Theoretische Informatik

Weiter entdecken

Ähnliche Beiträge

6 Empfehlungen
Projekt Automated Synthesis of Stochastic Cyber-Physical Systems: A Robust Approach Cyber-physical systems (CPS) are complex systems with tight interactions between cyber elements and physical components. The cybe… Beitrag ansehen Projekt Specializing TEmporal Planning using Reinforcement Learning "Planning - devising a strategy to achieve a desired objective - is one of the basic forms of intelligence. Temporal planning stu… Beitrag ansehen Projekt Logical Robots: Declarative Multi-Agent Programming in Logica We present Logical Robots, an interactive multi-agent simulation platform where autonomous robot behavior is specified declarativ… Beitrag ansehen Projekt Symbolic logic framework for situational awareness in mixed autonomy "SymAware addresses the fundamental need for a new conceptual framework for awareness in multi-agent systems (MASs) that is compa… Beitrag ansehen Projekt ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning Reinforcement learning is a widely used approach for training an agent to maximize rewards in a given environment. Action policie… Beitrag ansehen Projekt Uniform Interpolation Closure for Branching Time Temporal Logics Computation Tree Logic (CTL) is a fundamental formalism for specifying and reasoning about the behavior of non-terminating system… Beitrag ansehen

Passend zu diesem Beitrag

Hochschulen

1 Verknüpfungen

Passend zu diesem Beitrag

Förderungen

1 Verknüpfungen