Pages that link to "Item:Q5705922"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705922):
Displaying 8 items.
- Automated constraint-based addition of nonmasking and stabilizing fault-tolerance (Q555302) (← links)
- On fairness and randomness (Q840697) (← links)
- Simulation relations for fault-tolerance (Q1688554) (← links)
- Automatic discovery of fair paths in infinite-state transition systems (Q2147176) (← links)
- A direct symbolic algorithm for solving stochastic Rabin games (Q6535608) (← links)
- Overcoming memory weakness with unified fairness. Systematic verification of liveness in weak memory models (Q6535632) (← links)
- Fast symbolic algorithms for omega-regular games under strong transition fairness (Q6566589) (← links)
- Fair \(\omega \)-regular games (Q6629447) (← links)