Meinten Sie:
keywords:("temporal logic")
Synonyme wurden verwendet für:
TEMPORALE LOGIK
Suche ohne Synonyme:
keywords:("TEMPORALE LOGIK")
Model Checking for Verification in UAV Cooperative Control Applications
Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-robot Systems
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre