Picture of a satellite in orbit.

Open Access research that solves space system engineering problems...

Strathprints makes available scholarly Open Access content by scholars in the Departments of Mechanical & Aerospace Engineering, Electronic & Electrical Engineering, and Design, Manufacturing & Engineering Management -- all active in the areas of space systems engineering, space mechatronics, aerospace and astronautical engineering. This spans a wide variety of topics such as nano-satellites, self-assembling spacecraft, robotics, flightpath mechanics, orbital dynamics, trajectory design and optimization, autonomous navigation and planning -- and with almost all research outputs openly available through Strathprints.

Explore the Open Access research of the Mechanical & Aerospace Engineering, Electronic & Electrical Engineering, and Design, Manufacturing & Engineering Management. Or explore all of Strathclyde's Open Access research...

Browse by Author or creator

Group by: Publication Date | Item type | No Grouping
Jump to: 2021 | 2020
Number of items: 4.

2021

van Ditmarsch, Hans and Goubault, Éric and Lazić, Marijana and Ledent, Jérémy and Rajsbaum, Sergio (2021) A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. Journal of Logical and Algebraic Methods in Programming, 121. 100662. ISSN 2352-2208

2020

Ledent, Jeremy and Rajsbaum, Sergio and Armenta-Segura, Jorge (2020) Two-agent approximate agreement from an epistemic logic perspective. In: Thirteenth Latin American Workshop on New Methods of Reasoning 2020, 2020-12-10 - 2020-12-11.

Atkey, Robert and Gavranović, Bruno and Ghani, Neil and Kupke, Clemens and Ledent, Jérémy and Nordvall Forsberg, Fredrik (2020) Compositional Game Theory, compositionally. In: Applied Category Theory 2020, 2020-07-06 - 2020-07-10.

Goubault, Éric and Ledent, Jérémy and Rajsbaum, Sergio (2020) A simplicial complex model for dynamic epistemic logic to study distributed task computability. Information and Computation. 104597. ISSN 0890-5401

This list was generated on Fri Apr 16 01:55:11 2021 BST.