Sökning: "state explosion"

Visar resultat 1 - 5 av 26 uppsatser innehållade orden state explosion.

  1. 1. SeqLTL and ωLTL

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Oskar Grekula; [2023-10-19]
    Nyckelord :Linear Temporal Logic; Co-safety LTL; Tight Witness; Compositional;

    Sammanfattning : Linear Temporal Logic (LTL) is worthwhile for its applications in, among others, model checking, runtime verification and reactive synthesis. However, many useful properties are not expressible in LTL, or not in a natural way. LÄS MER

  3. 2. Probabilistic guarantees in model-checking with Time Petri Nets

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Manon Lecart; [2023]
    Nyckelord :Formal Methods; Statistical Model-Checking; Timed Automata; Timed PetriNets; Formella Metoder; Statistisk Modellkontroll; Timed Automater; Time Petri Nets;

    Sammanfattning : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. LÄS MER

  4. 3. Model Checked Reinforcement Learning For Multi-Agent Planning

    Kandidat-uppsats, Mälardalens universitet/Akademin för innovation, design och teknik

    Författare :Erik Wetterholm; [2023]
    Nyckelord :MALTA; UPPAAL; UPPAAL STRATEGO; TImed Games; Q-Learning; Timed Automata; Timed Games;

    Sammanfattning : Autonomous systems, or agents as they sometimes are called can be anything from drones, self-driving cars, or autonomous construction equipment. The systems are often given tasks of accomplishing missions in a group or more. This may require that they can work within the same area without colliding or disturbing other agents' tasks. LÄS MER

  5. 4. Simulating Distributed Executions in Kompact

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Johan Mallo Bakken; [2022]
    Nyckelord :Simulation; Testing; Distributed Systems; Kompact; Liveness; Raft; Simulering; Testning; Distribuerade System; Kompact; Liveness; Raft;

    Sammanfattning : Distributed systems are complex systems that offer highly scalable and reliable services. With that complexity comes the difficulty of developing and testing such systems as they are highly non-deterministic. LÄS MER

  7. 5. Rebuilding Beirut: When a state with non-functional government institutions is faced with a disaster, what role do local Non-Governmental Organisations (NGOs) play in its recovery? : Qualitative Case study: NGO Offre Joie, Lebanon, 2020 Beirut Harbour Explosion.

    Kandidat-uppsats, Stockholms universitet/Institutionen för Asien-, Mellanöstern- och Turkietstudier

    Författare :Maja Johnston; [2021]
    Nyckelord :Lebanon; NGOs; Beirut Harbour Explosion; State and Civil Society; Human rights;

    Sammanfattning : This thesis explores the relationship between state and civil-society in Lebanon. Earlier research show that there has been a presence of capable local NGOs in Lebanon for many years and that this has shaped the society. There is a gap in the research on the role of local NGOs after the Beirut harbour explosion on the 4th of August 2020. LÄS MER