Reactive Kripke Frames and Reactive Automata in Use, or Towards a Reactive Model Checking for Systems of Temporal Logic Interpreted in Pointwise Semantics

Program
Fulbright Visiting Scholar Program
Program Country
Grant Activity Type
Research
Discipline
Specialization
Mathematics and Computer Science
Academic Year
Dates
-
Flex
No
Scholar type
Non-U.S. (Visiting) Scholar
Project Title
Reactive Kripke Frames and Reactive Automata in Use, or Towards a Reactive Model Checking for Systems of Temporal Logic Interpreted in Pointwise Semantics

Scholar Information

Grantee
Krystian Adam Jobczyk
Title
Adjunct Assistant Professor
Host Institutions
Faculty
Romina Padro
Host Department
Kripke Center