( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model checking hyperproperties for Markov decision processes.

, , , и . Inf. Comput., 289 (Part): 104978 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Rainer Abraham

Günter Abraham

Abraham Frowein

Norbert Abraham

Kurt Abraham

 

Другие публикации лиц с тем же именем

A Tool-Supported Proof System for Multithreaded Java., , , и . FMCO, том 2852 из Lecture Notes in Computer Science, стр. 1-32. Springer, (2002)Some recent advances in automated analysis., и . Int. J. Softw. Tools Technol. Transf., 18 (2): 121-128 (2016)Hybrid Sequential Function Charts., и . MBMV, том 68 из Forschungsergebnisse zur Informatik, стр. 109-120. Verlag Dr. Kovac, (2012)Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development., , , , , и . CoRR, (2019)Knowledge Distillation in YOLOX-ViT for Side-Scan Sonar Object Detection., , , и . CoRR, (2024)Levelwise construction of a single cylindrical algebraic cell., , , , , и . CoRR, (2022)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , и . ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 1-31. EasyChair, (2021)Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks., , , и . TASE, том 13931 из Lecture Notes in Computer Science, стр. 164-182. Springer, (2023)Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems., , , и . ECMS, стр. 407-413. European Council for Modeling and Simulation, (2019)Communications of the ECMS, Volume 33, Issue 1, June 2019.Probabilistic Hyperproperties with Rewards., , , , и . NFM, том 13260 из Lecture Notes in Computer Science, стр. 656-673. Springer, (2022)