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

U.S. Scholars

Explore opportunities for U.S. citizens to go abroad with the Fulbright Scholar Program. With more than 800 awards annually to 135+ countries, find the right Fulbright for you.

U.S. Scholars

Each year roughly 850 faculty and professionals from around the world receive Fulbright Scholar awards for advanced research and university lecturing in the United States. Individual awards are available to scholars from over 100 countries.

Non-U.S. Scholars

U.S. Institutions

U.S. Higher Education institutions are instrumental to the success of the Fulbright mission. They are key allies in advancing the goal of sharing knowledge across communities, promoting mutual understanding across nations and improving lives around the world.

U.S. Institutions