Meinten Sie:
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
Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets
Generating MC/DC adequate test sequences through model checking
Splitting and Merging Control of Multiple Platoons with Signal Temporal Logic
Sampling-based Motion Planning with Temporal Logic Missions and Spatial Preferences
A coloured Petri net based solution for the generalized railway crossing problem
Symbolic Abstraction of System Requirements
Real-time RRT* with Signal Temporal Logic Preferences
Hybrid control of multi-robot systems using embedded graph grammars
An automated approach to designing real time systems
Temporal reasoning for airlift scheduling analysis