Search filters

List of works by Andrzej Zbrzezny

A Novel Description Language for Two-Agent Dialogue Games

scientific article published in 2017

Modelling the Affective Power of Locutions in a Persuasive Dialogue Game

scientific article published in 2018

SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems

scientific article published in 2013

SAT-Based Bounded Model Checking for Deontic Interleaved Interpreted Systems

scientific article published in 2012

SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic

scientific article published in 2013

Simple Bounded MTLK Model Checking for Timed Interpreted Systems

scientific article published on 24 May 2017

Simple SMT-Based Bounded Model Checking for Timed Interpreted Systems

scientific article published in 2017

Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge

scientific article published in 2012

Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic

scientific article published in 2013

Paulina is supported by:

About Paulina

Help