Phil Zeigler

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In this paper, temporal logic (TL) based simulation model verification and an extension to a novel system identification (SI) approach and agent learning are presented. Both model verification and system identification accommodate Discrete Event System Specification (DEVS) and combine DEVS with the ability of TL to capture important behavioral(More)
  • 1