Login / Signup

Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach.

Ameneh NejatiAbolfazl LavaeiPushpak JagtapSadegh SoudjaniMajid Zamani
Published in: IEEE Trans. Autom. Control. (2023)
Keyphrases
  • formal verification
  • management system
  • automated verification
  • dynamical systems
  • expert systems
  • data driven
  • complex systems
  • model checking
  • markov processes
  • reinforcement learning
  • distributed systems
  • test cases