Jørgen H. Andersen

Learn More
This paper presents a method for automatically constructing real time systems directly from their speciications. The model{construction problem is considered for implicit speciications of the form: (A 1 j : : : j A n j X) sat S where S is a real time (logical) speciication, A 1 : : :A n are given (regular) timed agents and the problem is to decide whether(More)
  • 1