Embeddings Between State and Action Based Probabilistic Logics von Das, Susmoy, Sharma, Arpit

Volltext

On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems von Das, Susmoy, Sharma, Arpit

Volltext

Embeddings Between State and Action Based Probabilistic Logics von Das, Susmoy, Sharma, Arpit

Volltext

State Space Minimization Preserving Embeddings for Continuous-Time Markov Chains von Das, Susmoy, Sharma, Arpit

Volltext

Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court von Das, Susmoy, Sharma, Arpit

Volltext bestellen

Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court von Das, Susmoy, Sharma, Arpit

Volltext