We stand with Ukraine  

Alexander Manta

Orcid: 0000-0003-0591-6985

Affiliations:
  • Imperial College London, Department of Computing, UK
  • Technical University of Munich, Department of Informatics, Germany (former)


According to our database1, Alexander Manta authored at least 3 papers in 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Artefact for paper: Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.
[BibTeX]
[DOI]
Jan Kretínský
,
Alexander Manta
,
Tobias Meggendorfer
Dataset, June, 2019

Artefact for paper: Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.
[BibTeX]
[DOI]
Jan Kretínský
,
Alexander Manta
,
Tobias Meggendorfer
Dataset, June, 2019

Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.
[BibTeX]
[DOI]
Jan Kretínský
,
Alexander Manta
,
Tobias Meggendorfer
Proceedings of the Automated Technology for Verification and Analysis, 2019


  Loading...