Reasoning about goal-directed real-time teleo-reactive programs
DOI10.1007/S00165-012-0272-1zbMATH Open1342.68060OpenAlexW2069553366MaRDI QIDQ736794FDOQ736794
Authors: Brijesh Dongol, Peter J. Robinson, Ian Hayes 
Publication date: 5 August 2016
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: http://bura.brunel.ac.uk/handle/2438/9747
Recommendations
reactive systemsgoal-directed agentsinterval-based logicsreal-time programsrely/guarantee reasoningteleo-reactive programming
Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)
Cites Work
- Duration calculus. A formal approach to real-time systems.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An axiomatic basis for computer programming
- Tentative steps toward a development method for interfering programs
- Hybrid I/O automata.
- Hybrid systems
- Hybrid action systems
- A timeband framework for modelling real-time systems
- Formal development of reactive systems. Case study production cell
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
- Title not available (Why is that?)
- Continuous Action System Refinement
Cited In (2)
This page was built for publication: Reasoning about goal-directed real-time teleo-reactive programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q736794)
