Anna V. Kosheleva

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 1

Top Topics

Multiple Agents

Transition Systems

Verification Method

Top Venues

Publications

Stepan I. Bashmakov, Anna V. Kosheleva, Vladimir V. Rybakov
Unification for Multi-Agent Temporal Logics with Universal Modality. FLAP 4 (4) (2017)
M. I. Golovanov, Anna V. Kosheleva, Vladimir V. Rybakov
Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules. Log. J. IGPL 13 (2) (2005)