The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions

We give an evolving algebra solution for the well-known railroad crossing problem and use the occasion to experiment with agents that perform instantaneous actions in continuous time and in particular with agents that fire at the moment they are enabled.

• Type: Conference
• Year: 1995
• Where: CSL
• Authors: Yuri Gurevich, James K. Huggins
• Keywords: Algebra Solution, Automated Reasoning, CSL 1995, Instantaneous Actions, Railroad Crossing Problem