Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Kafshdar Goharshady, Ehsan
11  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

On lexicographic proof rules for probabilistic termination:

Chatterjee, Krishnendu ; Kafshdar Goharshady, Ehsan ; Novotný, Petr..
info:eu-repo/semantics/altIdentifier/doi/10.1145/3585391.  , 2023
Link: https://research-explore..
 
?
2

Polynomial Invariant Generation for Non-deterministic Recur..:

Chatterjee, Krishnendu ; Fu, Hongfei ; Kafshdar Goharshady, Amir.
hal-02015843.  , 2020
Link: https://hal.archives-ouv..
 
?
3

Solving Long-run Average Reward Robust MDPs via Stochastic ..:

Chatterjee, Krishnendu ; Goharshady, Ehsan Kafshdar ; Karrabi, Mehrdad..
http://arxiv.org/abs/2312.13912.  , 2023
Link: http://arxiv.org/abs/231..
 
?
4

On Lexicographic Proof Rules for Probabilistic Termination:

Chatterjee, Krishnendu ; Goharshady, Ehsan Kafshdar ; Novotný, Petr..
http://arxiv.org/abs/2108.02188.  , 2021
Link: http://arxiv.org/abs/210..
 
?
5

Proving Non-termination by Program Reversal:

Chatterjee, Krishnendu ; Goharshady, Ehsan Kafshdar ; Novotný, Petr.
http://arxiv.org/abs/2104.01189.  , 2021
Link: http://arxiv.org/abs/210..
 
?
6

On lexicographic proof rules for probabilistic termination ..:

Chatterjee, Krishnendu ; Goharshady, Ehsan Kafshdar ; Novotný, Petr..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-90870-6_33.  , 2021
Link: https://research-explore..
 
?
7

Proving non-termination by program reversal:

Chatterjee, Krishnendu ; Goharshady, Ehsan Kafshdar ; Novotný, Petr.
info:eu-repo/semantics/altIdentifier/doi/10.1145/3453483.3454093.  , 2021
Link: https://research-explore..
 
?
8

Polynomial invariant generation for non-deterministic recur..:

Chatterjee, Krishnendu ; Fu, Hongfei ; Goharshady, Amir Kafshdar.
info:eu-repo/semantics/altIdentifier/doi/10.1145/3385412.3385969.  , 2020
Link: https://research-explore..
 
?
9

Proving Almost-Sure Termination of Probabilistic Programs v..:

Chatterjee, Krishnendu ; Goharshady, Ehsan Kafshdar ; Novotný, Petr..
http://arxiv.org/abs/2008.06295.  , 2020
Link: http://arxiv.org/abs/200..
 
?
10

Polynomial Invariant Generation for Non-deterministic Recur..:

Chatterjee, Krishnendu ; Fu, Hongfei ; Goharshady, Amir Kafshdar.
http://arxiv.org/abs/1902.04373.  , 2019
Link: http://arxiv.org/abs/190..
 
?
11

The treewidth of smart contracts:

Chatterjee, Krishnendu ; Goharshady, Amir Kafshdar ; Goharshady, Ehsan Kafshdar
info:eu-repo/semantics/altIdentifier/doi/10.1145/3297280.3297322.  , 2019
Link: https://research-explore..
 
1-11