Get started
Keyword

reactive systems

Description: Reactive systems are computing systems that continuously interact with their environments, and are studied through formal specification, verification, and design.
OpenAlex ID: keywords/reactive-systems
The Temporal Logic of Reactive and Concurrent Systems
1992 · Zohar Manna, Amir Pnueli · Springer eBooks · 2,959
The Esterel synchronous programming language: design, semantics, implementation
1992 · Gérard Berry, Georges Gonthier · Science of Computer Programming · 1,739
PDF
The synchronous data flow programming language LUSTRE
1991 · N. Halbwachs, P. Caspi, et al. · Proceedings of the IEEE · 1,592
The Temporal Logic of Reactive and Concurrent Systems: Specification
1991 · Amir Pnueli, Zohar Manna · 1,355
Integrated Architectures for Learning, Planning, and Reacting Based on Approximating Dynamic Programming
1990 · Richard S. Sutton · Elsevier eBooks · 1,348
STATEMATE: a working environment for the development of complex reactive systems
1990 · D. Harel, H. Lachover, et al. · IEEE Transactions on Software Engineering · 1,118
Temporal Verification of Reactive Systems: Safety
1995 · Zohar Manna, Amir Pnueli · Medical Entomology and Zoology · 946
On the Development of Reactive Systems
1985 · D. Harel, A. Pnueli · Springer eBooks · 870
Temporal Verification of Reactive Systems
1995 · Zohar Manna, Amir Pnueli · Springer eBooks · 822
Synchronous programming of reactive systems
1998 · Nicolas Halbwachs · Lecture notes in computer science · 774
The synchronous approach to reactive and real-time systems
1991 · A. Benveniste, G. Berry · Proceedings of the IEEE · 766
Safe Reinforcement Learning via Shielding
2018 · Alshiekh, Mohammed, Bloem, Roderick, et al. · AAAI Publications (The Association for the Advancement of Artificial Intelligence (AAAI)) · 704
PDF
Event Processing in Action
2010 · Opher Etzion, Peter Niblett · 628
Stubborn sets for reduced state space generation
1991 · Antti Valmari · Lecture notes in computer science · 558
In Transition From Global to Modular Temporal Reasoning about Programs
1985 · Amir Pnueli · Springer eBooks · 520
Model-Based Testing of Reactive Systems
2005 · Broy, Manfred, Pretschner, Alexander, et al. · Lecture notes in computer science · 514
A model-based approach to reactive self-configuring systems
1996 · Brian C. Williams, P. Pandurang Nayak · 487
Computing simulations on finite and infinite graphs
2002 · M.R. Henzinger, T.A. Henzinger, et al. · Annual Symposium on Foundations of Computer Science · 484
Modeling Reactive Systems With Statecharts : The Statemate Approach
1998 · David Harel, M. Politi · 467
The ESTEREL language
1991 · F. Boussinot, R. de Simone · Proceedings of the IEEE · 459
Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends
1986 · A. Pnueli · Lecture notes in computer science · 453
Timed Automata
1999 · Rajeev Alur · Computer Aided Verification · 449
Synchronous Programming of Reactive Systems
1993 · Nicolas Halbwachs · Springer eBooks · 416
Abstract interpretation of reactive systems
1997 · Dennis Dams, Rob Gerth, et al. · ACM Transactions on Programming Languages and Systems · 384
PDF
Integrating planning and reacting in a heterogeneous asynchronous architecture for controlling real-world mobile robots
1992 · Erann Gat · National Conference on Artificial Intelligence · 377
Works count: 4,876
Citation count: 65,760
Year
Topic
Type