Other presentations

  1. Model-Checking Agent Refinement

    We present a proof-technique for reducing the nondeterminism of abstract agent specifications by means of refinement. We implement the operational semantics of agent specifications in rewrite systems, such that we can automatically check if refinement between (fair) executions of agents holds.  

    read more

Page 1 / 1

hosted by