The following pages link to (Q4036557):
Displaying 50 items.
- A new model for model checking: cycle-weighted Kripke structure (Q351985) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL} (Q440685) (← links)
- The well-designed logical robot: learning and experience from observations to the Situation Calculus (Q543604) (← links)
- Modular abstractions for verifying real-time distributed systems (Q685095) (← links)
- Minimum and maximum delay problems in real-time systems (Q685111) (← links)
- Specification and automatic verification of self-timed queues (Q685115) (← links)
- On impulsive boundary value problems of fractional differential equations with irregular boundary conditions (Q696049) (← links)
- Verification of continuous dynamical systems by timed automata (Q763240) (← links)
- Checking timed Büchi automata emptiness efficiently (Q816203) (← links)
- A supervisory control method for ensuring the conformance of real-time discrete event systems (Q816702) (← links)
- On Caputo-Hadamard type fractional impulsive hybrid systems with nonlinear fractional integral conditions (Q901259) (← links)
- A note on the attractor-property of infinite-state Markov chains (Q1045897) (← links)
- Using mappings to prove timing properties (Q1200918) (← links)
- Verifying automata specification of distributed probabilistic real-time systems (Q1273079) (← links)
- Information system design of manufacturing environments (Q1288427) (← links)
- A theory of timed automata (Q1322162) (← links)
- From ATP to timed graphs and hybrid systems (Q1323313) (← links)
- A logic for reasoning about time and reliability (Q1343864) (← links)
- An iterative approach to verification of real-time systems (Q1346652) (← links)
- Model-checking discrete duration calculus (Q1346770) (← links)
- A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems (Q1365673) (← links)
- Duration calculus: Logical foundations (Q1377324) (← links)
- On the expressivity and complexity of quantitative branching-time temporal logics (Q1401306) (← links)
- Verification of duration systems using an approximation approach (Q1429422) (← links)
- PLC-automata: A new class of implementable real-time automata (Q1589587) (← links)
- Automatic verification of real-time systems with discrete probability distributions. (Q1603709) (← links)
- Cyber-physical systems (Q1699390) (← links)
- On a class of timer hybrid systems reducible to finite state automata (Q1842525) (← links)
- Model checking of systems with many identical timed processes (Q1853589) (← links)
- Superposition as a decision procedure for timed automata (Q1949086) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- Bayesian statistical model checking with application to Stateflow/Simulink verification (Q2248081) (← links)
- On the expressiveness of TPTL and MTL (Q2266987) (← links)
- A maximal entropy stochastic process for a timed automaton (Q2347798) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
- Statistical probabilistic model checking with a focus on time-bounded properties (Q2509358) (← links)
- Probabilistic temporal logics via the modal mu-calculus (Q2566296) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- On the verification of qualitative properties of probabilistic processes under fairness constraints. (Q2583540) (← links)
- TPAP (Q2842574) (← links)
- Temporal Specifications with Accumulative Values (Q2946736) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms (Q2961576) (← links)
- Fixed-Delay Events in Generalized Semi-Markov Processes Revisited (Q3090827) (← links)
- Performance Evaluation of Schedulers in a Probabilistic Setting (Q3172839) (← links)
- Time-Bounded Verification (Q3184695) (← links)
- Strict Divergence for Probabilistic Timed Automata (Q3184704) (← links)
- Calculating Probabilities of Real-Time Test Cases (Q3434607) (← links)
- Language Emptiness of Continuous-Time Parametric Timed Automata (Q3449466) (← links)
