Login / Signup

Backward Responsibility in Transition Systems Using General Power Indices.

Christel BaierRoxane van den BosscheSascha KlüppelholzJohannes LehmannJakob Piribauer
Published in: AAAI (2024)
Keyphrases
  • transition systems
  • hidden markov models
  • object oriented
  • concurrent systems
  • artificial intelligence
  • first order logic
  • model checking
  • finite state