Synonyme wurden verwendet für:
TEMPORALE LOGIK
Suche ohne Synonyme:
keywords:("TEMPORALE LOGIK")
Real-time RRT* with Signal Temporal Logic Preferences
Hybrid Control of Multi-robot Systems under Complex Temporal Tasks
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-robot Systems
Controlling Autonomous Baker Robot Using Signal Temporal Logic and Control Barrier Functions
Hybrid control of multi-robot systems using embedded graph grammars
Multi-Robot Motion Planning With Control Barrier Functions for Signal Temporal Logic Tasks
An automated approach to designing real time systems
LTL Motion Planning with Collision Avoidance for A Team of Quadrotors
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
Control Barrier Functions for Signal Temporal Logic Tasks
Plan Recognition for a Fighter Aircraft (Planigenkaenning foer Jaktfoeretag)
Temporal reasoning for airlift scheduling analysis