scientific article; zbMATH DE number 1337733
From MaRDI portal
Publication:4264103
Recommendations
- On the power of non-observable actions in timed automata
- Removing -transitions in timed automata
- Removing all silent transitions from timed automata
- Undecidability Results for Timed Automata with Silent Transitions
- Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions
Cited in
(45)- \(\varepsilon\)-transitions in concurrent timed automata
- Timed automata and additive clock constraints
- Bounded determinization of timed automata with silent transitions
- Concurrency in timed automata
- Updatable timed automata
- On the initialization of clocks in timed formalisms
- Configurable verification of timed automata with discrete variables
- Reachability relations of timed pushdown automata
- Model checking for probabilistic timed automata
- Timed substitutions for regular signal-event languages
- On the optimal reachability problem of weighted timed automata
- Timed recursive state machines: expressiveness and complexity
- Timed automata with non-instantaneous actions
- Equivalences for silent transitions in probabilistic systems (extended abstract)
- Bounded determinization of timed automata with silent transitions
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Efficient CTMC Model Checking of Linear Real-Time Objectives
- Exact Incremental Analysis of Timed Automata with an SMT-Solver
- Model Checking Real-Time Systems
- Timed Automata with Integer Resets: Language Inclusion and Expressiveness
- Interrupt Timed Automata
- Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions
- Undecidability Results for Timed Automata with Silent Transitions
- Removing all silent transitions from timed automata
- A survey of timed automata for the development of real-time systems
- Interrupt timed automata: verification and expressiveness
- On the power of non-observable actions in timed automata
- Parameter synthesis for hierarchical concurrent real-time systems
- Reachability in timed automata with diagonal constraints
- Removing -transitions in timed automata
- A menagerie of timed automata
- Reachability in timed counter systems
- Formal language properties of hybrid systems with strong resets
- Distributed event clock automata (extended abstract)
- Compositional schedulability analysis of real-time actor-based systems
- An introduction to timed automata
- SetExp: a method of transformation of timed automata into finite state automata
- Equivalence checking and intersection of deterministic timed finite state machines
- Optimal controller synthesis for timed systems
- Computing the bandwidth of meager timed automata
- Decidability of one-clock weighted timed games with arbitrary weights
- Timed hyperproperties
- Conformance testing for real-time systems
- Folk theorems on the determinization and minimization of timed automata
- When are timed automata weakly timed bisimilar to time Petri nets?
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4264103)
