Search Results - Raimondi, Franco

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Symbolic model checking for one-resource RB+-ATL

    Symbolic model checking for one-resource RB+-ATL by Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga, Raimondi, Franco

    Published 2015
    Get full text
  2. 2
    Decidable model-checking for a resource logic with production of resources

    Decidable model-checking for a resource logic with production of resources by Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga, Raimondi, Franco

    Published 2014
    Get full text
  3. 3
    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
    Get full text

Search Tools: