Search for dissertations about: "temporal logics"
Showing result 11 - 15 of 16 swedish dissertations containing the words temporal logics.
-
11. Speaking Other Times : Hannah Arendt and the Temporality of Politics
Abstract : Political rhetoric frequently utilizes imaginaries of time. Ideas of an eternally sanctioned principle, a historical tradition, a future to come, or a radical change in the present are all part of the temporal toolkit of political rhetoric. READ MORE
-
12. Towards Safer and Risk-aware Motion Planning and Control for Robotic Systems
Abstract : Safety and risk-awareness are important properties for robotic systems, be it for protecting them from potentially dangerous internal states, or for avoiding collisions with obstacles and environmental hazards in disaster scenarios. Ensuring safety may be the role of more than one algorithmic layer in a system, each with varying assumptions and guarantees. READ MORE
-
13. The Heart and Wallet Paradox of Collaborative Consumption
Abstract : Collaborative consumption is a peer-to-peer (P2P) exchange of goods and services facilitated by online platforms. This phenomenon is driven by technologies that make it easier and cheaper to redistribute and share the use of existing but underutilized private resources. READ MORE
-
14. Automated Deductive Verification of Safety-Critical Embedded Software
Abstract : Embedded systems are everywhere in society, and in many industries, such as the automotive industry, embedded systems are safety-critical. Embedded systems are today also increasingly controlled by software, with advances in, for example, autonomous driving. READ MORE
-
15. Digital aftermaths of terror : reactions to terrorist attacks on twitter
Abstract : Background. This thesis explores digital public reactions to terrorist attacks, and specifically how discourses on terrorism become articulated on social media. READ MORE