( en | de | ru )

 

Disambiguation of "Zbrzezny, Andrzej"

Author of the publication

copydeleteadd this publication to your clipboard
SMT-based Bounded Model Checking for Weighted Interpreted Systems and for Weighted Epistemic ECTL.

, , and . AAMAS, page 1671-1672. ACM, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andrzej Piotrowski

Andrzej Tomczyk

Andrzej Szczerbakow

Andrzej Szplit

Andrzej Tamborek

 

Other publications of authors with the same name

Towards Bounded Model Checking for the Universal Fragment of TCTL., , and . FTRTFT, volume 2469 of Lecture Notes in Computer Science, page 265-290. Springer, (2002)SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems., and . DALT, volume 7784 of Lecture Notes in Computer Science, page 170-189. Springer, (2012)Modelling the Affective Power of Locutions in a Persuasive Dialogue Game., , and . ICAISC (2), volume 10842 of Lecture Notes in Computer Science, page 557-569. Springer, (2018)A Novel Description Language for Two-Agent Dialogue Games., , and . IJCRS (2), volume 10314 of Lecture Notes in Computer Science, page 466-486. Springer, (2017)Simple SMT-Based Bounded Model Checking for Timed Interpreted Systems., and . IJCRS (2), volume 10314 of Lecture Notes in Computer Science, page 487-504. Springer, (2017)Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking., and . PRIMA, volume 9387 of Lecture Notes in Computer Science, page 660-669. Springer, (2015)The hilbert type axiomatization of some three-valued propositional logic.. Math. Log. Q., 36 (5): 415-421 (1990)SAT-Based Verification of Security Protocols Via Translation to Networks of Automata., , and . MoChArt, volume 4428 of Lecture Notes in Computer Science, page 146-165. Springer, (2006)Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking., and . PRIMA, volume 9862 of Lecture Notes in Computer Science, page 149-167. Springer, (2016)On Boolean Encodings of Transition Relation for Parallel Compositions of Transition Systems.. CS&P, volume 1032 of CEUR Workshop Proceedings, page 478-489. CEUR-WS.org, (2013)