Search Results - Nguyen, Hoang Nga

  • Showing 1 - 6 results of 6
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
    On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic

    On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic by Alechina, Natasha, Bulling, Nils, Logan, Brian, Nguyen, Hoang Nga

    Published 2015
    Get full text
  3. 3
    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
  4. 4
    Alternating-time temporal logic with resource bounds

    Alternating-time temporal logic with resource bounds by Nguyen, Hoang Nga, Alechina, Natasha, Logan, Brian, Rakib, Abdur

    Published 2015
    Get full text
  5. 5
    The virtues of idleness: a decidable fragment of resource agent logic

    The virtues of idleness: a decidable fragment of resource agent logic by Alechina, Natasha, Bulling, Nils, Logan, Brian, Nguyen, Hoang Nga

    Published 2017
    Get full text
  6. 6
    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: