Login / Signup

Backward Responsibility in Transition Systems Using General Power Indices.

Christel BaierRoxane van den BosscheSascha KlüppelholzJohannes LehmannJakob Piribauer
Published in: CoRR (2024)
Keyphrases
  • transition systems
  • temporal logic
  • model checking
  • artificial intelligence
  • social networks
  • multi agent
  • dynamic programming
  • multiagent systems
  • control flow
  • concurrent systems