• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
ФКН
Contacts

Dean — Ivan Arzhantsev

 

First Deputy Dean — Tamara Voznesenskaya

 

Deputy Dean for Research and International Relations — Sergei Obiedkov

 

Deputy Dean for Methodical and Educational Work — Ilya Samonenko

 

Deputy Dean for Development, Finance and Administration — Irina Plisetskaya

Phone: +7 (495) 772-95-90 * 12332

computerscience@hse.ru

125319, Moscow, 3 Kochnovsky Proezd (near metro station 'Aeroport'). 

Article
Linear switched dynamical systems on graphs
In print

Protasov V. Y., Cicone A., Guglielmi N.

Nonlinear Analysis: Hybrid Systems. 2018. Vol. 29. P. 165-186.

Article
Final Results of the OPERA Experiment on ντ Appearance in the CNGS Neutrino Beam

Ustyuzhanin A.

Physical Review Letters. 2018. Vol. 120. No. 21. P. 211801-1-211801-7.

Article
Qualitative Judgement of Research Impact: Domain Taxonomy as a Fundamental Framework for Judgement of the Quality of Research

Murtagh F., Orlov M. A., Mirkin B.

Journal of Classification. 2018. Vol. 35. No. 1. P. 5-28.

Article
Predictive Model for the Bottomhole Pressure based on Machine Learning
In print

Spesivtsev P., Sinkov K., Sofronov I. et al.

Journal of Petroleum Science and Engineering. 2018.

Article
New and old results on spherical varieties via moduli theory

Roman Avdeev, Cupit-Foutou S.

Advances in Mathematics. 2018. Vol. 328. P. 1299-1352.

Colloquium: Asynchronous games for Petri nets. Speaker: Luca Bernardinello (University of Milano-Bicocca)

Event ended

16 October 2018, 18:10, room 205 (Kochnovskii proezd, 3)

Luca Bernardinello (University of Milano-Bicocca)

Asynchronous games for Petri nets

Games on graphs and on trees have been used in the fields of semantics and verification. Usually, they are defined as sequential games, where a play is a sequence of moves by the players.

However, when synthesizing or analyzing distributed systems, in which events happen concurrently and the global state is not observable, this approach is not always appropriate, since concurrency is hidden in the interleaving of events. Therefore, several kinds of games in which the players can move asynchronously have been proposed in recent years. I will present an attempt to define such a game, originally conceived in order to tackle the problem of “observable liveness”, in which an agent tries to control a Petri net so that a given transition will fire over and over, assuming that only a subset of the transitions is directly controllable.

Colloquium


Registration