Login / Signup

A Phase Transition Model and Temporal Logic Specifications for Smart Energy Systems - Revisited.

Byungkwon ParkMohammed M. Olama
Published in: SpringSim (2020)
Keyphrases
  • temporal logic
  • reactive systems
  • phase transition
  • model checking
  • objective function
  • satisfiability problem
  • control flow
  • verification method
  • concurrent systems