Citing

If you use IMPaCT in your research, please cite:

BibTeX

QEST+FORMATS 2024 (primary):

@inproceedings{wooding2024qestformats,
    title     = {IMPaCT: Interval MDP Parallel Construction for Controller
                 Synthesis of Large-Scale Stochastic Systems},
    author    = {Ben Wooding and Abolfazl Lavaei},
    booktitle = {International Conference on Quantitative Evaluation of
                 Systems and Formal Modeling and Analysis of Timed Systems},
    pages     = {249--267},
    year      = {2024},
    organization = {Springer}
}

HSCC 2024 Poster:

@inproceedings{wooding2024hscc,
    title     = {IMPaCT: A parallelized software tool for IMDP construction
                 and controller synthesis with convergence guarantees},
    author    = {Wooding, Ben and Lavaei, Abolfazl},
    booktitle = {Proceedings of the 27th ACM International Conference on
                 Hybrid Systems: Computation and Control},
    pages     = {1--2},
    year      = {2024}
}

Authors

License

IMPaCT is licensed under the Creative Commons Attribution 4.0 International License.