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



    Robot planning in partially observable continuous domains

    Porta, Josep M. / Spaan, Matthijs T. J. / Vlassis, Nikos | BASE | 2005

    Free access