Login / Signup

Online Verification and Enforcement of Sequential K-Opacity in Extended Probabilistic Automata.

Tareq Ahmad Al-SarayrahZhiWu LiLi YinAlmetwally M. Mostafa
Published in: IEEE Access (2024)
Keyphrases
  • probabilistic automata
  • finite automata
  • markov chain
  • relative entropy
  • worst case
  • finite state automata
  • database
  • objective function
  • model selection
  • sound theoretical