Search Results - "model-checking"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Resource logics with a diminishing resource: extended abstract

    Resource logics with a diminishing resource: extended abstract by Alechina, Natasha, Logan, Brian

    Published 2018
    Subjects: “…Model-checking; resources…”
    Get full text
  2. 2
    Model-checking for resource-bounded ATL with production and consumption of resources

    Model-checking for resource-bounded ATL with production and consumption of resources by Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga, Raimondi, Franco

    Published 2017
    Subjects: “…model-checking…”
    Get full text

Search Tools: