Personensuche
X
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
1
Synthesizing Efficiently Monitorable Formulas in Metric Tem..:
, In:
?
2023 IEEE Symposium Series on Computational Intelligence (SSCI) ,
2
Anomaly Behavior Analysis for Sensors Fault Detection:
, In:
?
Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems ,
5
Automata with Timers:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
6
Validating Streaming JSON Documents with Learned VPAs:
, In:
?
2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN) ,
7
Living with Haru4Kids: Study on children's activity and eng..:
, In:
?
Lecture Notes in Computer Science; Reachability Problems ,
8
A Framework for the Competitive Analysis of Model Predictiv..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
10
Bi-objective Lexicographic Optimization in Markov Decision ..:
, In:
?
2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN) ,
11
Child-Robot Conversation in the Wild Wild Home: A Language ..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
12
Graph-Based Reductions for Parametric and Weighted MDPs:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
13
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
15