Access

    Download


    Export, share and cite



    Title :

    Formal synthesis of partially-observable cyber-physical systems


    Contributors:

    Publication date :

    2023


    Size :

    1 Online-Ressource


    Remarks:



    Type of media :

    Theses


    Type of material :

    Electronic Resource


    Language :

    English




    Instrument failure detection in partially observable systems

    Hertel, J.E. / Clark, R.N. | Tema Archive | 1982




    Formal enforcement of mission assurance properties in cyber-physical systems

    Harper, Scott / Graf, Jonathan / Capone, Michael A. et al. | IEEE | 2017


    Solving partially observable stochastic shortest-path games

    Tomášek, Petr / Horák, Karel / Aradhye, Aditya et al. | BASE | 2021

    Free access