Showing
1 - 6
results of
6
for search '
GOHARSHADY, Ehsan
'
Skip to content
AUNILO IRDS | AUNILO Institutional Repository Discovery Service
FAQs
|
Search Tips
|
Feedback
Your Account
Log Out
Login
Theme
Bootstrap
Aunilo
Language
English
中文(繁體)
اللغة العربية
Toggle navigation
Home
Search/Browse Options
Search History
Advanced Search
About
About AUNILO IRDS
Content Sources
Statistics
Technical Team
Disclaimer
Privacy & Security Policy
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
GOHARSHADY, Ehsan
Showing
1 - 6
results of
6
for search '
GOHARSHADY, Ehsan
'
, query time: 0.04s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Equivalence and similarity refutation for probabilistic programs
by
CHATTERJEE, Krishnendu
,
GOHARSHADY
,
Ehsan
Kafshdar
,
NOVOTNÝ, Petr
,
ZIKELIC, Dorde
Published 2025
Get full text
Get full text
text
Save to List
Saved in:
2
Proving non-termination by program reversal
by
CHATTERJEE, Krishnendu
,
GOHARSHADY
,
Ehsan
Kafshdar
,
NOVOTNÝ, Petr
,
ZIKELIC, Dorde
Published 2021
Get full text
Get full text
text
Save to List
Saved in:
3
Sound and complete witnesses for template-based verification of LTL properties on polynomial programs
by
CHATTERJEE, Krishnendu
,
GOHARSHADY, Amir
,
GOHARSHADY
,
Ehsan
,
KARRABI, Mehrdad
,
ZIKELIC, Dorde
Published 2024
Get full text
Get full text
text
Save to List
Saved in:
4
On lexicographic proof rules for probabilistic termination
by
CHATTERJEE, Krishnendu
,
GOHARSHADY
,
Ehsan
Kafshdar
,
NOVOTNÝ, Petr
,
ZÁREVUCKÝ, Jiří
,
ZIKELIC, Dorde
Published 2025
Get full text
Get full text
text
Save to List
Saved in:
5
On lexicographic proof rules for probabilistic termination
by
CHATTERJEE, Krishnendu
,
GOHARSHADY
,
Ehsan
Kafshdar
,
NOVOTNÝ, Petr
,
ZÁREVUCKÝ, Jiří
,
ZIKELIC, Dorde
Published 2021
Get full text
Get full text
text
Save to List
Saved in:
6
Solving long-run average reward robust MDPs via stochastic games
by
CHATTERJEE, Krishnendu
,
GOHARSHADY
,
Ehsan
Kafshdar
,
KARRABI, Mehrdad
,
NOVOTNÝ, Petr
,
ZIKELIC, Dorde
Published 2024
Get full text
Get full text
text
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
×
Loading...