A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
A standard bridge between automata theory and logic is provided by the notion of characteristic formula. This paper investigates this problem for the class of event-recording automata. An attempt to express in Event-recording logic (ERL) characteristic formula for timed simulation and bisimulation can be found in Sorea's thesis, but appears to be erroneous. We introduce an extension of the logic ERL, called WT µ . We prove it is strictly more expressive than ERL, and that its model-checkingdoi:10.1051/ita/2012029 fatcat:75tb7yx7zbb3fafyn7gmhbtgse