A partial order semantics approach to the clock explosion problem of timed automata.
Denis LugiezPeter NiebertSarah ZennouPublished in: Theor. Comput. Sci. (2005)
Keyphrases
- partial order
- timed automata
- partially ordered
- conceptual graphs
- model checking
- total order
- reachability analysis
- declarative semantics
- lattice structure
- theorem prover
- logical formulas
- formal semantics
- first order logic
- logic programming
- causal links
- totally ordered
- preference relations
- theorem proving
- sequential patterns
- data structure
- semantic information
- graphical models
- multi agent
- real time