Meinten Sie:
keywords:("temporal logik")
•
keywords:("temporal logic")
Synonyme wurden verwendet für:
TEMPORALE LOGIK
Suche ohne Synonyme:
keywords:("TEMPORALE LOGIK")
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics
Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference
Splitting and Merging Control of Multiple Platoons with Signal Temporal Logic
Least-Violating Motion Planning for Traffic-Compliant Autonomous Driving
Model Checking for Verification in UAV Cooperative Control Applications
FADS: A framework for autonomous drone safety using temporal logic-based trajectory planning
Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks
Sampling-based Motion Planning with Temporal Logic Missions and Spatial Preferences
Safe Autonomy under Uncertainty: Computation, Control, and Application
Symbolic Abstraction of System Requirements
Real-time RRT* with Signal Temporal Logic Preferences
Hybrid Control of Multi-robot Systems under Complex Temporal Tasks
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