Search Results - Bulling, Nils

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Practical run-time norm enforcement with bounded lookahead

    Practical run-time norm enforcement with bounded lookahead by Alechina, Natasha, Bulling, Nils, Dastani, Mehdi, Logan, Brian

    Published 2015
    Get full text
  2. 2
    On the complexity of resource-bounded logics

    On the complexity of resource-bounded logics by Alechina, Natasha, Bulling, Nils, Demri, Stephane, Logan, Brian

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

Search Tools: