The following pages link to P. E. Bulychev (Q764004):
Displaying 8 items.
- Game-theoretic simulation checking tool (Q764005) (← links)
- (Q2249658) (redirect page) (← links)
- Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\) (Q2249659) (← links)
- Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic (Q2891448) (← links)
- Anti-unification Algorithms and Their Applications in Program Analysis (Q3402293) (← links)
- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation (Q3648824) (← links)
- Controllers with Minimal Observation Power (Application to Timed Systems) (Q4649298) (← links)
- (Q5858720) (← links)