Synonyme wurden verwendet für:
TEMPORALE LOGIK
Suche ohne Synonyme:
keywords:("TEMPORALE LOGIK")
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics
Fuzzy Temporal Logic Based Railway Passenger Flow Forecast Model
Model Checking for Verification in UAV Cooperative Control Applications
Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference
Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets
Generating MC/DC adequate test sequences through model checking
Least-Violating Motion Planning for Traffic-Compliant Autonomous Driving
Splitting and Merging Control of Multiple Platoons with Signal Temporal Logic
Model Checking for Verification in UAV Cooperative Control Applications
FADS: A framework for autonomous drone safety using temporal logic-based trajectory planning
Sampling-based Motion Planning with Temporal Logic Missions and Spatial Preferences
Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks
A coloured Petri net based solution for the generalized railway crossing problem
Safe Autonomy under Uncertainty: Computation, Control, and Application
Symbolic Abstraction of System Requirements
Real-time RRT* with Signal Temporal Logic Preferences