|
perspicuous-computing.science
|
News
|
|
perspicuous-computing.science
|
Research
|
|
perspicuous-computing.science
|
Publications
|
|
perspicuous-computing.science
|
Awards
|
|
perspicuous-computing.science
|
Team
|
|
perspicuous-computing.science
|
Events
|
|
perspicuous-computing.science
|
LolaDrives
|
|
perspicuous-computing.science
|
CPEC Visualisation Tools
|
|
perspicuous-computing.science
|
Racetrack
|
|
perspicuous-computing.science
|
<img fetchpriority="high" decoding="async" width="1312" height="656" src="https://www.perspicuous-computing.science/wp-content/uploads/2023/08/rounding-orbits-wide.png" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="" srcset="https://www.perspicuous-computing.science/wp-content/uploads/2023/08/rounding-orbits-wide.png 1312w, https://www.perspicuous-computing.science/wp-content/uploads/2023/08/rounding-orbits-wide-1280x640.png 1280w, https://www.perspicuous-computing.science/wp-content/uploads/2023/08/rounding-orbits-wide-980x490.png 980w, https://www.perspicuous-computing.science/wp-content/uploads/2023/08/rounding-orbits-wide-480x240.png 480w" sizes="(min-width: 0px) and (max-width: 480px) 480px, (min-width: 481px) and (max-width: 980px) 980px, (min-width: 981px) and (max-width: 1280px) 1280px, (min-width: 1281px) 1312px, 100vw">
|
|
perspicuous-computing.science
|
A12 – Dynamical, Hybrid, and Probabilistic Systems: Verification & Explication
|
|
perspicuous-computing.science
|
Read More
|
|
perspicuous-computing.science
|
<img loading="lazy" decoding="async" width="830" height="415" src="https://www.perspicuous-computing.science/wp-content/uploads/2021/06/A3.jpg" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="">
|
|
perspicuous-computing.science
|
A3 – Description Logic Explications
|
|
perspicuous-computing.science
|
Read More
|
|
perspicuous-computing.science
|
<img loading="lazy" decoding="async" width="680" height="340" src="https://www.perspicuous-computing.science/wp-content/uploads/2024/07/A6.png" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="" srcset="https://www.perspicuous-computing.science/wp-content/uploads/2024/07/A6.png 680w, https://www.perspicuous-computing.science/wp-content/uploads/2024/07/A6-480x240.png 480w" sizes="(min-width: 0px) and (max-width: 480px) 480px, (min-width: 481px) 680px, 100vw">
|
|
perspicuous-computing.science
|
A6 – Contextualised Actionable Explications
|
|
perspicuous-computing.science
|
Read More
|
|
perspicuous-computing.science
|
<img loading="lazy" decoding="async" width="1116" height="558" src="https://www.perspicuous-computing.science/wp-content/uploads/2024/07/C1.jpg" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="">
|
|
perspicuous-computing.science
|
C1 – Programming Abstractions for Cyber-Physical Systems
|
|
perspicuous-computing.science
|
Read More
|
|
perspicuous-computing.science
|
<img loading="lazy" decoding="async" width="1900" height="950" src="https://www.perspicuous-computing.science/wp-content/uploads/2021/05/c2.jpg" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="" srcset="https://www.perspicuous-computing.science/wp-content/uploads/2021/05/c2.jpg 1900w, https://www.perspicuous-computing.science/wp-content/uploads/2021/05/c2-1280x640.jpg 1280w, https://www.perspicuous-computing.science/wp-content/uploads/2021/05/c2-980x490.jpg 980w, https://www.perspicuous-computing.science/wp-content/uploads/2021/05/c2-480x240.jpg 480w" sizes="(min-width: 0px) and (max-width: 480px) 480px, (min-width: 481px) and (max-width: 980px) 980px, (min-width: 981px) and (max-width: 1280px) 1280px, (min-width: 1281px) 1900px, 100vw">
|
|
perspicuous-computing.science
|
C2 – Composition and Abstraction with Explications
|
|
perspicuous-computing.science
|
Read More
|
|
perspicuous-computing.science
|
<img loading="lazy" decoding="async" width="944" height="472" src="https://www.perspicuous-computing.science/wp-content/uploads/2021/06/C3-edited.jpg" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="">
|
|
perspicuous-computing.science
|
C3 – Supervision of Dynamic Dependable Systems
|
|
perspicuous-computing.science
|
Read More
|
|
perspicuous-computing.science
|
<img loading="lazy" decoding="async" width="2398" height="1199" src="https://www.perspicuous-computing.science/wp-content/uploads/2023/08/cpec_c4_wide.png" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="" srcset="https://www.perspicuous-computing.science/wp-content/uploads/2023/08/cpec_c4_wide.png 2398w, https://www.perspicuous-computing.science/wp-content/uploads/2023/08/cpec_c4_wide-1280x640.png 1280w, https://www.perspicuous-computing.science/wp-content/uploads/2023/08/cpec_c4_wide-980x490.png 980w, https://www.perspicuous-computing.science/wp-content/uploads/2023/08/cpec_c4_wide-480x240.png 480w" sizes="(min-width: 0px) and (max-width: 480px) 480px, (min-width: 481px) and (max-width: 980px) 980px, (min-width: 981px) and (max-width: 1280px) 1280px, (min-width: 1281px) 2398px, 100vw">
|
|
perspicuous-computing.science
|
C4 – Distributed Knowledge and Information Flow
|
|
perspicuous-computing.science
|
Read More
|
|
perspicuous-computing.science
|
<img loading="lazy" decoding="async" width="2000" height="1000" src="https://www.perspicuous-computing.science/wp-content/uploads/2021/05/C6.jpg" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="" srcset="https://www.perspicuous-computing.science/wp-content/uploads/2021/05/C6.jpg 2000w, https://www.perspicuous-computing.science/wp-content/uploads/2021/05/C6-1280x640.jpg 1280w, https://www.perspicuous-computing.science/wp-content/uploads/2021/05/C6-980x490.jpg 980w, https://www.perspicuous-computing.science/wp-content/uploads/2021/05/C6-480x240.jpg 480w" sizes="(min-width: 0px) and (max-width: 480px) 480px, (min-width: 481px) and (max-width: 980px) 980px, (min-width: 981px) and (max-width: 1280px) 1280px, (min-width: 1281px) 2000px, 100vw">
|
|
perspicuous-computing.science
|
C6 – Fast, Safe, and Perspicuous Run-Time Planning
|
|
perspicuous-computing.science
|
Read More
|
|
perspicuous-computing.science
|
<img loading="lazy" decoding="async" width="1091" height="546" src="https://www.perspicuous-computing.science/wp-content/uploads/2021/04/Project-E1-Teaser.png" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="" srcset="https://www.perspicuous-computing.science/wp-content/uploads/2021/04/Project-E1-Teaser.png 1091w, https://www.perspicuous-computing.science/wp-content/uploads/2021/04/Project-E1-Teaser-980x490.png 980w, https://www.perspicuous-computing.science/wp-content/uploads/2021/04/Project-E1-Teaser-480x240.png 480w" sizes="(min-width: 0px) and (max-width: 480px) 480px, (min-width: 481px) and (max-width: 980px) 980px, (min-width: 981px) 1091px, 100vw">
|
|
perspicuous-computing.science
|
E1 – Interactive Exploration of Visual Models
|
|
perspicuous-computing.science
|
Read More
|
|
perspicuous-computing.science
|
<img loading="lazy" decoding="async" width="449" height="224" src="https://www.perspicuous-computing.science/wp-content/uploads/2021/04/Project-E2-Teaser.png" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="" srcset="https://www.perspicuous-computing.science/wp-content/uploads/2021/04/Project-E2-Teaser.png 449w, https://www.perspicuous-computing.science/wp-content/uploads/2021/04/Project-E2-Teaser-300x150.png 300w" sizes="(max-width: 449px) 100vw, 449px">
|
|
perspicuous-computing.science
|
E2 – Safe Handover in Mixed-Initiative Control
|
|
perspicuous-computing.science
|
Read More
|
|
perspicuous-computing.science
|
<img loading="lazy" decoding="async" width="2270" height="1135" src="https://www.perspicuous-computing.science/wp-content/uploads/2021/04/Project-E3-Teaser.png" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="" srcset="https://www.perspicuous-computing.science/wp-content/uploads/2021/04/Project-E3-Teaser.png 2270w, https://www.perspicuous-computing.science/wp-content/uploads/2021/04/Project-E3-Teaser-1280x640.png 1280w, https://www.perspicuous-computing.science/wp-content/uploads/2021/04/Project-E3-Teaser-980x490.png 980w, https://www.perspicuous-computing.science/wp-content/uploads/2021/04/Project-E3-Teaser-480x240.png 480w" sizes="(min-width: 0px) and (max-width: 480px) 480px, (min-width: 481px) and (max-width: 980px) 980px, (min-width: 981px) and (max-width: 1280px) 1280px, (min-width: 1281px) 2270px, 100vw">
|
|
perspicuous-computing.science
|
E3 – Knowledge-Driven Inspection
|
|
perspicuous-computing.science
|
Read More
|
|
perspicuous-computing.science
|
<img loading="lazy" decoding="async" width="920" height="460" src="https://www.perspicuous-computing.science/wp-content/uploads/2021/04/Project-E4-Teaser.png" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="" srcset="https://www.perspicuous-computing.science/wp-content/uploads/2021/04/Project-E4-Teaser.png 920w, https://www.perspicuous-computing.science/wp-content/uploads/2021/04/Project-E4-Teaser-480x240.png 480w" sizes="(min-width: 0px) and (max-width: 480px) 480px, (min-width: 481px) 920px, 100vw">
|
|
perspicuous-computing.science
|
E4 – Immersive Analysis of Cyber-Physical Systems
|
|
perspicuous-computing.science
|
Read More
|
|
perspicuous-computing.science
|
<img loading="lazy" decoding="async" width="1046" height="657" src="https://www.perspicuous-computing.science/wp-content/uploads/2023/12/Project-E6.jpg" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="">
|
|
perspicuous-computing.science
|
E6 – Cooperative User Interfaces as Rational Agents
|
|
perspicuous-computing.science
|
Read More
|
|
perspicuous-computing.science
|
<img loading="lazy" decoding="async" width="2560" height="1280" src="https://www.perspicuous-computing.science/wp-content/uploads/2025/06/E7-scaled.png" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="" srcset="https://www.perspicuous-computing.science/wp-content/uploads/2025/06/E7-scaled.png 2560w, https://www.perspicuous-computing.science/wp-content/uploads/2025/06/E7-1280x640.png 1280w, https://www.perspicuous-computing.science/wp-content/uploads/2025/06/E7-980x490.png 980w, https://www.perspicuous-computing.science/wp-content/uploads/2025/06/E7-480x240.png 480w" sizes="(min-width: 0px) and (max-width: 480px) 480px, (min-width: 481px) and (max-width: 980px) 980px, (min-width: 981px) and (max-width: 1280px) 1280px, (min-width: 1281px) 2560px, 100vw">
|
|
perspicuous-computing.science
|
E7 – Perspicuity and Societal Risk
|
|
perspicuous-computing.science
|
Read More
|
|
perspicuous-computing.science
|
<img loading="lazy" decoding="async" width="1024" height="768" src="https://www.perspicuous-computing.science/wp-content/uploads/2021/05/fractal2.jpg" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="" srcset="https://www.perspicuous-computing.science/wp-content/uploads/2021/05/fractal2.jpg 1024w, https://www.perspicuous-computing.science/wp-content/uploads/2021/05/fractal2-980x735.jpg 980w, https://www.perspicuous-computing.science/wp-content/uploads/2021/05/fractal2-480x360.jpg 480w" sizes="(min-width: 0px) and (max-width: 480px) 480px, (min-width: 481px) and (max-width: 980px) 980px, (min-width: 981px) 1024px, 100vw">
|
|
perspicuous-computing.science
|
A1 – Analysing and Explicating Dynamical and Hybrid Systems
|
|
perspicuous-computing.science
|
Read More
|
|
perspicuous-computing.science
|
<img loading="lazy" decoding="async" width="1920" height="960" src="https://www.perspicuous-computing.science/wp-content/uploads/2021/05/A2.jpg" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="" srcset="https://www.perspicuous-computing.science/wp-content/uploads/2021/05/A2.jpg 1920w, https://www.perspicuous-computing.science/wp-content/uploads/2021/05/A2-1280x640.jpg 1280w, https://www.perspicuous-computing.science/wp-content/uploads/2021/05/A2-980x490.jpg 980w, https://www.perspicuous-computing.science/wp-content/uploads/2021/05/A2-480x240.jpg 480w" sizes="(min-width: 0px) and (max-width: 480px) 480px, (min-width: 481px) and (max-width: 980px) 980px, (min-width: 981px) and (max-width: 1280px) 1280px, (min-width: 1281px) 1920px, 100vw">
|
|
perspicuous-computing.science
|
A2 – Probabilistic Causality and Explications
|
|
perspicuous-computing.science
|
Read More
|
|
perspicuous-computing.science
|
<img loading="lazy" decoding="async" width="1000" height="500" src="https://www.perspicuous-computing.science/wp-content/uploads/2021/06/A4-edited.jpg" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="" srcset="https://www.perspicuous-computing.science/wp-content/uploads/2021/06/A4-edited.jpg 1000w, https://www.perspicuous-computing.science/wp-content/uploads/2021/06/A4-edited-980x490.jpg 980w, https://www.perspicuous-computing.science/wp-content/uploads/2021/06/A4-edited-480x240.jpg 480w" sizes="(min-width: 0px) and (max-width: 480px) 480px, (min-width: 481px) and (max-width: 980px) 980px, (min-width: 981px) 1000px, 100vw">
|
|
perspicuous-computing.science
|
A4 – Logic-Based Perspicuous Run-Time Supervision
|
|
perspicuous-computing.science
|
Read More
|
|
perspicuous-computing.science
|
<img loading="lazy" decoding="async" width="2560" height="952" src="https://www.perspicuous-computing.science/wp-content/uploads/2021/05/A5-scaled.jpg" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="" srcset="https://www.perspicuous-computing.science/wp-content/uploads/2021/05/A5-scaled.jpg 2560w, https://www.perspicuous-computing.science/wp-content/uploads/2021/05/A5-1280x476.jpg 1280w, https://www.perspicuous-computing.science/wp-content/uploads/2021/05/A5-980x364.jpg 980w, https://www.perspicuous-computing.science/wp-content/uploads/2021/05/A5-480x179.jpg 480w" sizes="(min-width: 0px) and (max-width: 480px) 480px, (min-width: 481px) and (max-width: 980px) 980px, (min-width: 981px) and (max-width: 1280px) 1280px, (min-width: 1281px) 2560px, 100vw">
|
|
perspicuous-computing.science
|
A5 – Operational Explications of Classifier Predictions
|
|
perspicuous-computing.science
|
Read More
|
|
perspicuous-computing.science
|
<img loading="lazy" decoding="async" width="1206" height="897" src="https://www.perspicuous-computing.science/wp-content/uploads/2021/05/C5.jpg" class="attachment-post-thumbnail size-post-thumbnail wp-post-image" alt="" srcset="https://www.perspicuous-computing.science/wp-content/uploads/2021/05/C5.jpg 1206w, https://www.perspicuous-computing.science/wp-content/uploads/2021/05/C5-980x729.jpg 980w, https://www.perspicuous-computing.science/wp-content/uploads/2021/05/C5-480x357.jpg 480w" sizes="(min-width: 0px) and (max-width: 480px) 480px, (min-width: 481px) and (max-width: 980px) 980px, (min-width: 981px) 1206px, 100vw">
|
|
perspicuous-computing.science
|
C5 – Combining Program Analysis and Run-Time Monitoring
|
|
perspicuous-computing.science
|
Read More
|
|
uni-saarland.de
|
Legal Notice<br>
|
|
uni-saarland.de
|
Data protection
|
|
gepris.dfg.de
|
<span class="et_pb_image_wrap "><img loading="lazy" decoding="async" width="1200" height="153" src="https://www.perspicuous-computing.science/wp-content/uploads/2019/08/dfg_logo_schriftzug_weiss.png" alt="" title="dfg_logo_schriftzug_weiss" class="wp-image-1899"></span>
|
|
gepris.dfg.de
|
The Transregional Collaborative Research Centre 248 is funded by the DFG (German Research Foundation)
|
WordPress
nginx