The following pages link to Wojciech Penczek (Q1028968):
Displaying 5 items.
- Bounded model checking for knowledge and real time (Q1028970) (← links)
- Model checking temporal properties of reaction systems (Q1749193) (← links)
- Parametric Model Checking with VerICS (Q3066135) (← links)
- Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing* (Q4589206) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712359) (← links)