We study modal team logic MTL, the team-semantical extension of modal logic ML closed
under Boolean negation. Its fragments, such as modal dependence, independence, and …

In general, deciding satisfiability of quantified bit-vector formulas becomes harder with
increasing maximal allowed bit-width of variables and constants. However, this does not …

Formal verification of hardware and software is important in the case of critical systems, as
shown by several accidents due to such problems as overflow, rounding error, etc. Bit …

I would like to thank to my parents for supporting me in several ways and, in particular, in
becoming a computer scientist. Thanks for buying me my first computer, a Videoton TV …