The following pages link to Bożena Woźna-Szcześniak (Q310080):
Displaying 11 items.
- Checking EMTLK properties of timed interpreted systems via bounded model checking (Q310082) (← links)
- SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems (Q2968861) (← links)
- Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems (Q3168196) (← links)
- SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata* (Q4595603) (← links)
- Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking (Q4637909) (← links)
- A Translation of the Existential Model Checking Problem from MITL to HLTL (Q4914307) (← links)
- SAT-based Bounded Model Checking for Timed Interpreted Systems and the RTECTLK properties (Q5040685) (← links)
- On the SMT-based Verification of Communicative Commitments (Q5040701) (← links)
- A GPGPU–based Simulator for Prism: Statistical Verification of Results of PMC (Q5040714) (← links)
- Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking (Q5259307) (← links)
- (Q5407112) (← links)
