The following pages link to A theory of timed automata (Q1322162):
Displaying 50 items.
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
- A tool for deciding the satisfiability of continuous-time metric temporal logic (Q262137) (← links)
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- Timed recursive state machines: expressiveness and complexity (Q264999) (← links)
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706) (← links)
- The complexity of synchronous notions of information flow security (Q278742) (← links)
- Expected reachability-time games (Q278757) (← links)
- Adequacy and complete axiomatization for timed modal logic (Q283762) (← links)
- Molecular computers for molecular robots as hybrid systems (Q288808) (← links)
- A note on the verification of automata specifications of probabilistic real-time systems (Q294873) (← links)
- Determinization of timed Petri nets behaviors (Q312642) (← links)
- Dynamic controllability via timed game automata (Q329422) (← links)
- Formal assessment of reliability specifications in embedded cyber-physical systems (Q334152) (← links)
- Models with virtual force carriers in classical particle physics (Q339997) (← links)
- Better abstractions for timed automata (Q342707) (← links)
- Quantifying communication in synchronized languages (Q344766) (← links)
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- A new model for model checking: cycle-weighted Kripke structure (Q351985) (← links)
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Automata-theoretic decision of timed games (Q386611) (← links)
- Robust synthesis for real-time systems (Q386617) (← links)
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (Q388224) (← links)
- A game-theoretic approach to fault diagnosis and identification of hybrid systems (Q391104) (← links)
- Similarity in languages and programs (Q391201) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- Low dimensional hybrid systems -- decidable, undecidable, don't know (Q418141) (← links)
- The sweep-line state space exploration method (Q418783) (← links)
- Efficiently identifying deterministic real-time automata from labeled data (Q420918) (← links)
- Regular set of representatives for time-constrained MSC graphs (Q436617) (← links)
- State-based scheduling with tree schedules: analysis and evaluation (Q438213) (← links)
- Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL} (Q440685) (← links)
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Reachability analysis for timed automata using max-plus algebra (Q444476) (← links)
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- Efficient emptiness check for timed Büchi automata (Q453519) (← links)
- A concurrency-preserving translation from time Petri nets to networks of timed automata (Q453542) (← links)
- Control: a perspective (Q463779) (← links)
- Finite-state automata in information technologies (Q464949) (← links)
- Constraint LTL satisfiability checking without automata (Q472802) (← links)
- A succinct canonical register automaton model (Q478388) (← links)
- Learning register automata: from languages to program structures (Q479461) (← links)
- Improving active Mealy machine learning for protocol conformance testing (Q479471) (← links)
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- On regions and zones for event-clock automata (Q487253) (← links)
- Runtime enforcement of timed properties revisited (Q487258) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Structural transformations for data-enriched real-time systems (Q493518) (← links)
- Graph-based models for real-time workload: a survey (Q497995) (← links)
