Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
-- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes
Yazar
Breugel, Franck van. editor.
Format:
Electronic Resources
Alıntı:
Mechanisms -- Bisimulation for Markov Decision Processes through Families of Functional Expressions -- Random
View Other Search Results
Yazar
Cassez, Franck. editor.
Format:
Electronic Resources
Alıntı:
Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test Coverage
Yazar
Stevens, Perdita. editor.
Format:
Electronic Resources
Alıntı:
Systems -- An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to
Yazar
Muscholl, Anca. editor.
Format:
Electronic Resources
Alıntı:
of Probabilistic Basic Parallel Processes -- Limit Synchronization in Markov Decision Processes
Yazar
Jacobs, Bart. editor.
Format:
Electronic Resources
Alıntı:
and Timed Systems - Trace Refinement in Labelled Markov Decision Processes -- Qualitative Analysis of
Yazar
Baldan, Paolo. editor.
Format:
Electronic Resources
Alıntı:
Analysis in Verification of Discrete-Time Markov Chains -- Robust Synchronization in Markov Decision
Yazar
Canal, Carlos. editor.
Format:
Electronic Resources
Alıntı:
-- Quantitative Anonymity Evaluation of Voting Protocols -- Scalable Verification of Markov Decision Processes
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Strategies in Markov Decision Processes -- Symbolic Polytopes for Quantitative Interpolation and Verification
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Verification of Continuous-Space Pure Jump Markov Processes -- Abstract Learning Frameworks for Synthesis
Arama Sonuçlarını Sınırlandır
Daraltılmış: