• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Семинар лаборатории ИССА: " A Faster Tableau for CTL*". Докладчик: Марк Рейнольдс

Мероприятие завершено

Марк Рейнольдс - профессор, руководитель школы компьютерных наук и программной инженерии   Унивеситета Западной Австралии, соавтор фундаментальной двухтомной монографии "Темпоральная логика: математические основания и вычислительные аспекты", ведущий специалист в данной области.

Тема: "A Faster Tableau for CTL*"

ДокладчикMark Reynolds, профессор, руководитель школы компьютерных наук и программной инженерии   Унивеситета Западной Австралии, 

Дата: 29 сентября, 16:40

Место: Москва, Кочновский проезд, дом 3, ауд. 503

Аннотация:
There have been several recent suggestions for tableau systems for deciding satisfiability in the practically important branching time temporal logic known as CTL*. In this talk we present a streamlined and more traditional tableau approach built upon the author's earlier theoretical work.
Soundness and completeness results are proved. A prototype implementation demonstrates the significantly improved performance of the new approach on a range of test formulas. We also see that it compares favourably to state of the art, game and automata based decision procedures.

Приглашаются все желающие. По всем вопросам и для заказа пропуска необходимо написать Ларисе Ивановне Антроповой по электронной почте: lantropova@hse.ru