Pages that link to "Item:Q2324230"
From MaRDI portal
The following pages link to Optimal dynamic partial order reduction with observers (Q2324230):
Displaying 8 items.
- Dynamic generalized controllability and observability functions with applications to model reduction and sensor deployment (Q458747) (← links)
- Stateless model checking under a reads-value-from equivalence (Q832184) (← links)
- Quasi-optimal partial order reduction (Q2050101) (← links)
- Computing race variants in message-passing concurrent programming with selective receives (Q2165226) (← links)
- Linear optimal control systems using reduced-order observers via polynomial series (Q4726125) (← links)
- Reduced-Order Nonlinear Observers Via Contraction Analysis and Convex Optimization (Q5040078) (← links)
- Optimal dynamic partial order reduction (Q5408432) (← links)
- Unblocking dynamic partial order reduction (Q6535634) (← links)