# Arshia Rafieioskouei

**Type:** Researchers  
**Canonical URL:** https://scholariq.org/researchers/arshia-rafieioskouei/

## Facts

| Field | Value |
| --- | --- |
| Citations | 7 |
| Field | Formal Methods in Verification |
| h-index | 1 |
| i10-index | 0 |
| Last Known Institution | Michigan State University |
| OpenAlex ID | https://openalex.org/A5114539292 |
| ORCID iD | 0009-0002-8844-4441 |
| Works | 6 |

## Researcher papers

- [Efficient Discovery of Actual Causality Using Abstraction Refinement](https://scholariq.org/papers/efficient-discovery-of-actual-causality-using-abstraction-refinement/)
- [Efficient Discovery of Actual Causality in Stochastic Systems](https://scholariq.org/papers/efficient-discovery-of-actual-causality-in-stochastic-systems/)
- [HypRL: Reinforcement Learning of Control Policies for Hyperproperties](https://scholariq.org/papers/hyprl-reinforcement-learning-of-control-policies-for-hyperproperties/)
- [Efficient Discovery of Actual Causality in Stochastic Systems](https://scholariq.org/papers/efficient-discovery-of-actual-causality-in-stochastic-systems-2/)
- [HyPOLE: Hyperproperty-Guided Multi-Agent Reinforcement Learning under Partial Observation](https://scholariq.org/papers/hypole-hyperproperty-guided-multi-agent-reinforcement-learning-under-partial/)
- [HyPOLE: Hyperproperty-Guided Multi-Agent Reinforcement Learning under Partial Observation](https://scholariq.org/papers/hypole-hyperproperty-guided-multi-agent-reinforcement-learning-under-partial-2/)

## Researcher topics

- [Formal Methods in Verification](https://scholariq.org/topics/formal-methods-in-verification/)
- [Reinforcement Learning in Robotics](https://scholariq.org/topics/reinforcement-learning-in-robotics/)
- [Adversarial Robustness in Machine Learning](https://scholariq.org/topics/adversarial-robustness-in-machine-learning/)
- [Semantic Web and Ontologies](https://scholariq.org/topics/semantic-web-and-ontologies/)
- [Bayesian Modeling and Causal Inference](https://scholariq.org/topics/bayesian-modeling-and-causal-inference/)

## Researcher university

- [Michigan State University](https://scholariq.org/institutions/michigan-state-university/)

---
Source: ScholarIQ — public research metadata, principally OpenAlex. See https://scholariq.org/sources/ for provenance and https://scholariq.org/methodology/ for what these figures mean.