( en | de | ru )

 

Disambiguation of "Lassaigne, Richard"

Author of the publication

copydeleteadd this publication to your clipboard
Approximate Probabilistic Model Checking.

, , , and . VMCAI, volume 2937 of Lecture Notes in Computer Science, page 73-84. Springer, (2004)

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. You can also use the button next to the name to display some publications already assigned to the person.

Richard Janissen

Biomolecular based nano-manipulation with a combined atomic force microscope and single molecule fluorescence setup. Uni Düsseldorf, (2009)

Richard Scheel

Richard Bierl

Richard Fassnacht

Richard Neumann

 

Other publications of authors with the same name

APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains., , and . QEST, page 129-130. IEEE Computer Society, (2006)Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing., , , , and . LICS, page 30-39. IEEE Computer Society, (2002)Testing Membership for Timed Automata., and . CoRR, (2019)Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC., , , , , , , and . AVoCS, volume 128 of Electronic Notes in Theoretical Computer Science, page 195-214. Elsevier, (2004)Logic and complexity., and . Discrete mathematics and theoretical computer science Springer, (2004)Probabilistic verification and approximation., and . Ann. Pure Appl. Log., 152 (1-3): 122-131 (2008)Approximate Verification of Probabilistic Systems., and . PAPM-PROBMIV, volume 2399 of Lecture Notes in Computer Science, page 213-214. Springer, (2002)Approximate planning and verification for large Markov decision processes., and . Int. J. Softw. Tools Technol. Transf., 17 (4): 457-467 (2015)Approximate planning and verification for large markov decision processes., and . SAC, page 1314-1319. ACM, (2012)Probabilistic abstraction for model checking: An approach based on property testing, , , , and . Electron. Colloquium Comput. Complex., (2001)