Agnieszka Zbrzezny

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 2

Top Topics

Linear Temporal Logic

Extended Abstract

Top Venues

Publications

Emanuele La Malfa, Agnieszka Zbrzezny, Rhiannon Michelmore, Nicola Paoletti, Marta Kwiatkowska
On Guaranteed Optimal Robust Explanations for NLP Models. CoRR (2021)
Agnieszka Zbrzezny, Andrzej Zbrzezny
Simple Bounded MTL Model Checking for Discrete Timed Automata (extended abstract). CS&P (2016)
Agnieszka Zbrzezny, Andrzej Zbrzezny
Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking. ICCSW (2015)
Agnieszka Zbrzezny, Andrzej Zbrzezny
A Comparison of SAT-Based and SMT-Based Bounded Model Checking Methods for ECTL. CS&P (2014)
Agnieszka Zbrzezny, Andrzej Zbrzezny
System Monitoring with Extended Message Sequence Chart (Extended Abstract). CS&P (2014)
Bozena Wozna-Szczesniak, Ireneusz Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic. PRIMA (2014)
Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic. PRIMA (2013)
Artur Meski, Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic. DCAI (2013)
Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems. EPEW (2013)
Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny
The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems. EPIA (2011)