Projects search

• Keywords: branching time ×

Change search criteria ↓

Search results

2 projects found matching your search criteria:

1. 1. Exit times: omega clock, Markov additive processes, branching mechanism and quasi-stationary measures

   Principal investigator: prof. Zbigniew Bogusław Palmowski

   Politechnika Wrocławska

   Call: OPUS 15, Panel: ST1

2. 2. Branching time and the semantics of future contingents

   Principal investigator: dr Jacek Marcin Wawer

   Uniwersytet Jagielloński, Wydział Filozoficzny

   Call: PRELUDIUM 6, Panel: HS1