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
Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets
Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference
Generating MC/DC adequate test sequences through model checking
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
A coloured Petri net based solution for the generalized railway crossing problem
Sampling-based Motion Planning with Temporal Logic Missions and Spatial Preferences
Safe Autonomy under Uncertainty: Computation, Control, and Application
Symbolic Abstraction of System Requirements