1 citations · 1 across the 2 of their papers we have counts for
2 papers
econ.TH2025★ 1 cited
Public Communication with Externalities
Georgy Lukyanov, Konstantin Shamruk, Tong Su +1
This paper develops a model in which a sender strategically communicates with a group of receivers whose payoffs depend on the sender's information. It is shown that aggregate payo…
cs.PL2018
Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers
Andrey Mokhov, Georgy Lukyanov, Jakob Lechner
Verification of functional correctness of control programs is an essential task for the development of space electronics; it is difficult and time-consuming and typically outweighs…