Hledat
Zobrazují se záznamy 1-1 z 1
Resolution-based methods for linear temporal reasoning
Dizertační práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2015
Datum obhajoby: 16. 10. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The aim of this thesis is to explore the potential of resolution-based methods for linear temporal reasoning. On the abstract level, this means to develop new algorithms for automated reasoning about properties of systems ...
Cílem této práce je prozkoumat potenciál metod založených na rezoluci pro uvažování s lineárním časem. To na abstraktní rovině znamená navrhnout nové algoritmy pro automatické uvažovaní o vlastnostech systémů, které se ...
Cílem této práce je prozkoumat potenciál metod založených na rezoluci pro uvažování s lineárním časem. To na abstraktní rovině znamená navrhnout nové algoritmy pro automatické uvažovaní o vlastnostech systémů, které se ...