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
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