Výsledky vyhledávání

Report

A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation

Autor: Szekeres, Dániel, Marussy, Kristóf, Majzik, István

Analysis of Markov Decision Processes (MDP) is often hindered by state space explosion. Abstraction is a well-established technique in model checking to mitigate this issue. This paper presents a novel lazy abstraction method for MDP analysis based o

Externí odkaz: http://arxiv.org/abs/2406.00824

Zobrazit plný text záznamu

Report

Orbital-selective spin excitation of a magnetic porphyrin

Autor: Rubio-Verdú, Carmen, Sarasola, Ane, Choi, Deung-Jang, Majzik, Zsolt, Ebeling, René, Calvo, M. Reyes, Ugeda, Miguel M., Garcia-Lekue, Aran, Sánchez-Portal, Daniel, Pascual, José Ignacio

Scattering of electrons by localized spins is the ultimate process enabling electrical detection and control of the magnetic state of a spin-doped material. At the molecular scale, this scattering is mediated by the electronic orbitals hosting the sp

Externí odkaz: http://arxiv.org/abs/1708.01268

Zobrazit plný text záznamu

Report

Passivation of dangling bonds on hydrogenated Si(100)-2$\times$1: a possible method for error correction in hydrogen lithography

Autor: Pavliček, Niko, Majzik, Zsolt, Meyer, Gerhard, Gross, Leo

Using combined low temperature scanning tunneling microscopy (STM) and atomic force microscopy (AFM), we demonstrate hydrogen passivation of individual, selected dangling bonds (DBs) on a hydrogen-passivated Si(100)-2$\times$1 surface (H-Si) by atom

Externí odkaz: http://arxiv.org/abs/1706.02560

Zobrazit plný text záznamu

Report

Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers

Autor: Czipó, Bence, Hajdu, Ákos, Tóth, Tamás, Majzik, István

Publikováno v: EPTCS 245, 2017, pp. 31-45

Statecharts are frequently used as a modeling formalism in the design of state-based systems. Formal verification techniques are also often applied to prove certain properties about the behavior of the system. One of the most efficient techniques for

Externí odkaz: http://arxiv.org/abs/1703.07350

Zobrazit plný text záznamu

Akademický článek

Towards Abstraction-based Probabilistic Program Analysis.

Autor: Szekeres, Dániel, Majzik, István

Publikováno v: Acta Cybernetica; 2024, Vol. 26 Issue 3, p671-711, 41p

Zobrazit plný text záznamu

Akademický článek

Configurable verification of timed automata with discrete variables.

Autor: Tóth, Tamás¹ (AUTHOR) totht@mit.bme.hu, Majzik, István¹ (AUTHOR)

Publikováno v: Acta Informatica. Feb2022, Vol. 59 Issue 1, p1-35. 35p.

Zobrazit plný text záznamu

Plný text ve formátu HTML

Report

Combined AFM and STM measurements of a silicene sheet grown on Ag(111) surface

Autor: Majzik, Zsolt, Tchalala, Mohamed Rachid, Švec, Martin, Hapala, Prokop, Enriquez, Hanna, Kara, Abdelkader, Mayne, Andrew J., Dujardin, Gérald, Jelínek, Pavel, Oughaddou, Hamid

Publikováno v: J.Phys.: Condens. Matter, 25, 225301 (2013)

In this Letter, we present the first non-contact atomic force microscopy (nc-AFM) of a silicene on silver (Ag) surface, obtained by combining non-contact atomic force microscopy (nc-AFM) and scanning tunneling microscopy (STM). STM images over large

Externí odkaz: http://arxiv.org/abs/1306.5523

Zobrazit plný text záznamu