43 results on '"Zbrzezny, Agnieszka M."'
Search Results
2. Simple Bounded MTLK Model Checking for Timed Interpreted Systems
3. SAT-Versus SMT-Based BMC for TWIS and the Existential Fragment of WCTL with Knowledge
4. Simple SMT-Based Bounded Model Checking for Timed Interpreted Systems
5. Efficient Model Checking Timed and Weighted Interpreted Systems Using SMT and SAT Solvers
6. Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking
7. Efficient Verification of Security Protocols Time Properties Using SMT Solvers
8. Checking RTECTL Properties of STSs via SMT-Based Bounded Model Checking
9. Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking
10. Checking WECTLK Properties of Timed Real-Weighted Interpreted Systems via SMT-Based Bounded Model Checking
11. SMT-Based Bounded Model Checking for Weighted Epistemic ECTL
12. A Global Review of Publicly Available Datasets Containing Fundus Images: Characteristics, Barriers to Access, Usability, and Generalizability
13. Deceptive Tricks in Artificial Intelligence: Adversarial Attacks in Ophthalmology
14. Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic
15. Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks
16. Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic
17. SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic
18. SAT-Versus SMT-Based BMC for TWIS and the Existential Fragment of WCTL with Knowledge
19. Simple Bounded MTLK Model Checking for Timed Interpreted Systems
20. Simple SMT-Based Bounded Model Checking for Timed Interpreted Systems
21. Efficient Model Checking Timed and Weighted Interpreted Systems Using SMT and SAT Solvers
22. Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking
23. Selected Methods of Model Checking Using SAT and SMT-Solvers
24. Checking WECTLK Properties of Timed Real-Weighted Interpreted Systems via SMT-Based Bounded Model Checking
25. Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking
26. SMT-Based Bounded Model Checking for Weighted Epistemic ECTL
27. Checking RTECTL Properties of STSs via SMT-Based Bounded Model Checking
28. Towards a Formal Verification of Seamless Cryptographic Rekeying in Real-Time Communication Systems
29. Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic
30. On Guaranteed Optimal Robust Explanations for NLP Models
31. SAT and SMT-Based Verification of Security Protocols Including Time Aspects
32. Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic
33. Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories.
34. Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories
35. SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols
36. SAT-Based BMC Approach to Verifying Real-Time Properties of Multi-Agent Systems
37. SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata*
38. Comparing sat-based bounded model checking rtectl and ectl properties
39. Comparing SAT- and SMT- based bounded model checking for ECTL properties
40. Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking
41. Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking
42. SMT-based reachability analysis for Simply-Timed Systems
43. SMT-based Searching for κ-quasi-optimal Runs in Weighted Timed Automata.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.