Activities per year
Activities
- 12 results
Search results
-
INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems
Viet Man Le (Speaker)
22 Feb 2024Activity: Talk or presentation › Poster presentation › Science to science
-
Temporal Planning and Acting in Dynamic Domains
Marco De Bortoli (Speaker)
10 Jul 2023Activity: Talk or presentation › Poster presentation › Science to science
-
Improving Applicability of Planning in the RoboCup Logistics League using Macro-actions Refinement
Marco De Bortoli (Speaker)
10 Jul 2023Activity: Talk or presentation › Poster presentation › Science to science
-
PV4EAG - Identification of Alternative Areas for PV Systems
Franziska Hübl (Speaker)
21 Sept 2022Activity: Talk or presentation › Poster presentation › Science to science
-
Learning probabilistic Driver Models for Emission Estimation
Benjamin Von Berg (Speaker), Gerald Stieglbauer (Speaker) & Darko Stern (Speaker)
17 Oct 2022Activity: Talk or presentation › Poster presentation › Science to science
-
On the Use of Available Testing Methods for Verification & Validation of AI-based Software and Systems
Franz Wotawa (Speaker)
8 Feb 2021Activity: Talk or presentation › Poster presentation › Science to science
-
On the importance of system testing for assuring safety of AI systems
Franz Wotawa (Speaker)
11 Aug 2019Activity: Talk or presentation › Poster presentation › Science to science
-
Crucial Tool Features for Successful Combinatorial Input Parameter Testing in an Industrial Application
Franz Wotawa (Speaker)
23 Apr 2019Activity: Talk or presentation › Poster presentation › Science to science
-
On the Superiority of Conflict-Driven Search in MUS Enumeration
Franz Wotawa (Speaker)
29 Aug 2018Activity: Talk or presentation › Poster presentation › Science to science
-
How Fast is MQTT? Statistical Model Checking and Testing of MQTT Latencies
Richard Alexander Schumi (Speaker)
6 Sept 2018Activity: Talk or presentation › Poster presentation › Science to science
-
How Fast is MQTT? Statistical Model Checking and Testing of MQTT Latencies
Richard Alexander Schumi (Speaker)
5 Jun 2018Activity: Talk or presentation › Poster presentation › Science to public
-
Checking Response-Time Properties with Stochastic User Profiles, 1st Symposium on Dependable Internet of Things in Adverse Environments
Richard Alexander Schumi (Speaker)
11 Sept 2017Activity: Talk or presentation › Poster presentation › Science to science