A kritikus autonóm rendszerek (pl. robotok, járművek) fejlesztése során különös gondot kell fordítani a követelmények megfogalmazására, mert ez képezi mind a fejlesztési, mind pedig a tesztelési és verifikációs tevékenységek alapját. A matematikailag precíz formában megadott követelmények lehetővé teszik az automatizált tesztgenerálást, helyességbizonyítást, monitorozást.   Ezen a területen sokféle új kihívás jelenik meg, például: - kontextus- és pozíciófüggés figyelembe vétele mozgó (mobil) rendszerekben;  - időfüggés kifejezése valósidejű rendszerekben;  - a biztonsági elvárásokkal való összehangolás és ennek ellenőrzése (monitorozása) futásidőben.   A téma keretében ezekhez kapcsolódó új megoldásokat lehet megismerni és továbbfejleszteni: - szcenárió nyelvek kidolgozása, - temporális és helyfüggő operátorokkal kiterjesztett logikai nyelvek használata, - követelmények teljesítésének szimulátorokban való ellenőrzése.