Sign In

Login

Password

Forgot Password ? Sign Up

Stutter bisimulation (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Stutter bisimulation" in English language version.

refsWebsite
Global rank English rank
2doi.org
2nd place
2nd place
2handle.net
102nd place
76th place
1harvard.edu
18th place
17th place

doi.org

  • Mohajerani, Sahar; Malik, Robi; Wintenberg, Andrew; Lafortune, Stéphane; Ozay, Necmiye (2021). "Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications". Automatica. 130. Bibcode:2021Autom.13009723M. doi:10.1016/j.automatica.2021.109723. hdl:10289/14366.
  • Krook, Jonas; Malik, Robi; Mohajerani, Sahar; Fabian, Martin (2024). "Robust stutter bisimulation for abstraction and controller synthesis with disturbance". Automatica. 160. doi:10.1016/j.automatica.2023.111394. hdl:10289/16942.

handle.net

hdl.handle.net

  • Mohajerani, Sahar; Malik, Robi; Wintenberg, Andrew; Lafortune, Stéphane; Ozay, Necmiye (2021). "Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications". Automatica. 130. Bibcode:2021Autom.13009723M. doi:10.1016/j.automatica.2021.109723. hdl:10289/14366.
  • Krook, Jonas; Malik, Robi; Mohajerani, Sahar; Fabian, Martin (2024). "Robust stutter bisimulation for abstraction and controller synthesis with disturbance". Automatica. 160. doi:10.1016/j.automatica.2023.111394. hdl:10289/16942.

harvard.edu

ui.adsabs.harvard.edu

  • Mohajerani, Sahar; Malik, Robi; Wintenberg, Andrew; Lafortune, Stéphane; Ozay, Necmiye (2021). "Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications". Automatica. 130. Bibcode:2021Autom.13009723M. doi:10.1016/j.automatica.2021.109723. hdl:10289/14366.