Pages that link to "Item:Q2980331"

The following pages link to Formal Verification of Stochastic Max-Plus-Linear Systems (Q2980331):

Displaying 8 items.

• A max-plus algebra approach to study time disturbance propagation within a robustness improvement context (Q1720513) (← links)
• Analysis and control of max-plus linear discrete-event systems: an introduction (Q2177779) (← links)
• Automatic verification of competitive stochastic systems (Q2248068) (← links)
• Data-driven verification of stochastic linear systems with signal temporal logic constraints (Q2665419) (← links)
• Local and global robustness with \(q\)-step delay for max-plus linear systems (Q2673760) (← links)
• Relatively maximal perturbation bounds for global robustness of max‐plus linear systems (Q6089752) (← links)
• Approximately global optimal control for max-plus linear systems and its application on load distribution (Q6106338) (← links)
• SMT-based model checking of max-plus linear systems (Q6134268) (← links)