Search for persons
X
?
Lecture Notes in Computer Science; NASA Formal Methods ,
2
Validation of Reinforcement Learning Agents and Safety Shie..:
, In:
?
4
Rigorous State-Based Methods: 10th International Conference..
Lecture Notes in Computer Science, 14759
?
Prolog: The Next 50 Years; Lecture Notes in Computer Science ,
8
ProB: Harnessing the Power of Prolog to Bring Formal Models..:
, In:
?
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science ,
9
Modelling, Visualisation and Proof of an ETCS Level 3 Movin..:
, In:
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
10
Validation by Abstraction and Refinement:
, In:
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
11
Modeling and Analysis of a Safety-Critical Interactive Syst..:
, In:
?
Lecture Notes in Computer Science; Integrated Formal Methods ,
12
Performance Fuzzing with Reinforcement-Learning and Well-De..:
, In:
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
13
Modeling and Verifying an Arrival Manager Using Event-B:
, In:
?
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science ,
14
A Formal Model of Train Control with AI-Based Obstacle Dete..:
, In:
?
Lecture Notes in Computer Science; Verified Software. Theories, Tools and Experiments. ,
15